--- 'astro': patch --- Correctly type the option `server.open`