Completely removed an old, obsolete post. One of the benefits of hosting the blog's source code under revision control is that it is always possible to go back and access even a removed post, if that is really necessary at all.