There's a rule about not editorializing titles on HN. The title here is the title in the paper, so it's the correct title. This sort of suggestion should be sen

There's a rule about not editorializing titles on HN. The title here is the title in the paper, so it's the correct title. This sort of suggestion should be sent to the authors of the paper itself. Then again, dang has also broken this rule and had a justification for it, so who really knows for sure.