Post moved to my personal blog after loss of WordPress database (it didn’t belong here anyway).

Unfortunately, lost all the comments when the database died.