Stuff to be added

I’m considering putting up my “Projects” page again. I’d taken it down when I moved servers because it never seemed to be up-to-date, and because I generally don’t like to say too much about what I’m working on (I’d rather put the energy into the actual work). But it’s probably …