Developer Notes

Implementation notes and design decisions for contributors and curious readers.