Now that I added this "Playground" link, it doesn't fit on one line any
more on mobile. Maybe it needs a hamburger menu but that also doesn't
make that much sense with so few items. For now, I am very sorry
Codeberg, but probably fewer people click that link than people who want
the GitHub repo. The Codeberg repo is still linked further down.
RCL is now truly -- for all practical purposes, yeah yeah pedantics
surrogate pairs and a file with 20 GiB of zeros are technically valid
json but let's talk about documents used in the real world -- a json
superset!
Also I think I should try to make the readme and index pages a bit more
attractive to people who discover this. I wrote them from my niche
perspective and I had a lot of background about what I was building, but
probably it needs to be explained more to new users.
Also improve a few other things, e.g. as a quick hack, add a
"Playground" link in the website header to make the feature more
discoverable. We can extract it into a separate page at a later stage.
I originally developed the website in a separate Git repository, but to
keep them in sync, and also to be able to accept contributions, it is
nicer to have them in the same repository. Merge the histories using a
subtree merge.