I'm very sorry about that. The submitted title was the one I originally had but it took me a while to realise that it wasn't very good. I changed my mind about it but you can't edit titles on HN submissions after publishing.