Exporting to Astro

TODO