Developer notes

Various developer notes grouped by topic