jlh's assorted stuff

Pretty random


The purpose of “jlh’s assorted stuff” is to have a place where I can publish things that could potentially be useful for other people. Expect things here to be random and irregular. The idea is that people will find this via Google if they search for something.