Thanks very much for pointing this out. Really annoying, although not surprising, that I had to read this on a four-deep HN comment rather than this being flagged by Google.