fix: ensure typings for `<svelte:options>` are picked up (Svelte 5 version)

fixes #12886

.changeset/brown-radios-itch.md

@@ -0,0 +1,5 @@
+---
+'svelte': patch
+---
+
+fix: ensure typings for `<svelte:options>` are picked up

packages/svelte/svelte-html.d.ts

@@ -243,8 +243,8 @@ declare global {
 			'svelte:body': HTMLProps<'svelte:body', HTMLAttributes>;
 			'svelte:document': HTMLProps<'svelte:document', HTMLAttributes>;
 			'svelte:fragment': { slot?: string };
-			'svelte:options': HTMLProps<'svelte:options', HTMLAttributes>;
 			'svelte:head': { [name: string]: any };
+			// don't type svelte:options, it would override the types in svelte/elements and it isn't extendable anyway
 
 			[name: string]: { [name: string]: any };
 		}