Random mutterings

This is just a bit of a dumping ground for small bits of work which don’t have anywhere else to go. I heartily recommend you visit my GitHub profile instead.