Various notes I type when I cannot find a good reference about a particular topic.