Random notes

A collection of random notes that may suddenly become helpful at some point.