Breaking: Move $$restProps in Select to <select>.

This aligns the component with others like `TextInput`, `NumberInput` or `TextArea` and allows adding not explicitly defined attributes to the "main" element of the component.

Other changes are from formatting by `lint` task.
(Prettier removes manual line breaks via `  ` from JSDoc strings; turned that into paragraph in `Header`.)

types/UIShell/Header.svelte.d.ts

@@ -30,6 +30,7 @@ export interface HeaderProps extends RestProps {
 
   /**
    * Specify the company name.
+   *
    * Alternatively, use the named slot "company" (e.g., `<span slot="company">...</span>`)
    * @default undefined
    */
@@ -37,6 +38,7 @@ export interface HeaderProps extends RestProps {
 
   /**
    * Specify the platform name.
+   *
    * Alternatively, use the named slot "platform" (e.g., `<span slot="platform">...</span>`)
    * @default ""
    */