>>280234726
>>280234985
Hey, anon, I'm >>280235106.
Are you in the Astro Discord? Has anyone there said they're going to typeset it? Because I'm going to drop it if someone else is already working on it.