Notes (for developers)

Place here documents that can be useful for developers, such as:

• TODO lists
• Architecture Decision Records (ADRs)

(This may, or may not, be the best place for these documents. We can move them later if needed, for instance into the documentation.)