# Developer notes

These are notes made by the developer, and _not_ to be considered documentation.