Anton's Random Stuff

This is a collection of miscellaneous information I thought I'd put on the web, because someone might find it useful someday. The web can be a useful place for finding information which might not otherwise be readily accessible, but only if enough people take the time to publish it.

All of these are likely to start out small, but grow (slowly) over time.

Let me know if there's something else I should take the time to write about!