Random short notes. Mostly things I don't want to forget.