should we make a discord or stay like this (oh, and @topiary , there is a run on the south america boards with the platform as Web[Emu] - i dont think it should have emulator checked, can this be fixed?)

I'd support the idea of a discord. I don't know how many people would join, though.

I just made one, we could see how it goes

https://discord.gg/KG9QyEb