This is just some general housekeeping.

Several users reported a problem downloading .ZIP files from this blog; a problem which I could not reproduce until I tried downloading under Internet Explorer. Evidently, my web host did not have the correct MIME type set; it was using application/zip (works on Firefox only) instead of application/octet-stream (works on Firefox and IE).

Apologies to any readers who experienced this problem, this has now been rectified.