Misc

This page just contains (or will contain) a bunch of random thingsĀ  were worth either putting on the web or linking to. Some of them, perhaps, have more value than others.