OP here. As I commented elsewhere: this is not the title that I submitted to HN, and it's not the title on the target page. Someone edited it and I am not sure why.