Sorry, our bad. We cached the blog post on Nginx to serve it faster to the HNers. Then someone sent a release and wiped out the cache. Fixed now.