tinygo-org
Integrated playground at tinygo.org/play
Instead of having a separate https://play.tinygo.org, use https://tinygo.org/play that actually integrates into the Docsy theme.
Once this is in, I'd like to make play.tinygo.org just a redirect to tinygo.org/play so that I can modify the default UI.
Rebased after #429 and moved some shared code to a file that's included from multiple places (to avoid excessive duplication).
Ready for review :) I'd like to get this merged as it's pretty big (both the integrated playground and the "share" button).
Updated! It seems my comment was lost. I wonder whether we should maybe use security@ or privacy@ instead of [email protected]? It can be a simple alias of course.
