Thanks, it's the first time one of my posts has made the front page of HN and it kind of took me by surprise. The cache should be able to deal with it now, but

Thanks, it's the first time one of my posts has made the front page of HN and it kind of took me by surprise. The cache should be able to deal with it now, but I appreciate the mirror. :-)