Developers' notes

Some random notes that might be useful to developers who want to hack the code. If this list grows unwieldy, I'll try to organize them.