misc

Things that do not need a separate repo.

License

See LICENSE.

Deployment info

Last website deployment on Tue Nov 25 13:55:00 UTC 2025.