I’ll be discussing some of these things in more detail later, but since I’m a couple days behind on announcing recent developments, first I’m just posting a quick catch-up entry for today.
If you are viewing this on github.io, you can see that this site is open source. Please do not try to improve this page. It is auto-generated by a python script. If you have suggestions for improvements, please start a discussion on the github repo or the Discord.