Old Times

82 words.

Just so you know, the time on any article that I posted before moving to the new server (around the end of November) will be off by about 5 or 6 hours. That is, you have to (I think) add 5 or 6 hours to the times listed. This is because the times on the old server were stored as central time zone, but since moving I’ve been storing them in Greenwich mean time to avoid any similar problems in the future.

This page is a static archival copy of what was originally a WordPress post. It was converted from HTML to Markdown format before being built by Hugo. There may be formatting problems that I haven't addressed yet. There may be problems with missing or mangled images that I haven't fixed yet. There may have been comments on the original post, which I have archived, but I haven't quite worked out how to show them on the new site.

Sorry, new comments are disabled on older posts. This helps reduce spam. Active commenting almost always occurs within a day or two of new posts.