misc

Things that do not need a separate repo.

License

See LICENSE.

Deployment info

Last website deployment on Sun Feb 15 20:37:59 UTC 2026.