This is mainly a place for my random notes, so that I can find them again, but hopefully some of them may be useful to others.