A collection of notes for developers that are useful, but which do not have a final place on the wiki