Sorry, I had tried changing it immediately after posting the link, but HN allows only changing the title.