Hello there. I wanted to give anyone reading the blog and history articles a heads-up that we are in the throes of a redesign of the site. The relaunch will be happening on May 1st, but there is a lead-time to get everything up and running. To that effect, I have exported the Blogger blog to the hosted TDE blog, and hence will not be making any further major updates to this one.
