Sorry to put you through that! I normally go back and edit my blog posts at least a little bit, but I wasn't very happy with this one, so I didn't bother. I didn't expect it to have a readership beyond whoever happened to look at planet.debian.org yesterday.