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