Technical notes. Ideally, I should publish these as blog posts, but I don’t have enough time to write them up properly. Instead, I’m writing them in a somewhat crude way and sometimes with very specific use needs. Document all the things!.

See also misc notes