Developer notes

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