Here are some of the things I have typed up over the past few years. I hope they can be of some use to someone!