Developer Notes are instructions for random things developers may find useful.