Welcome! I'll get around to making this place more hospitable. Until then (or, as it happens), here are the things I've written so far.