Note from July 13, 2026, 12:02 PM

I renamed the "Projects" page to "Praxis", because I want to use it to collect various ideas of mine that I’m putting into practice, not necessarily just "projects", since I don’t actually do that many "projects", and I definitely have more of these smaller ideas. And they make me happy too. I also reworked a bit how this Praxis page will look, but migrating to it will take me a while.