Yes, HN guidelines are generally to avoid modifying the source for headlines like this unless it is impossible/impractical otherwise. Doing so risks either acci

Yes, HN guidelines are generally to avoid modifying the source for headlines like this unless it is impossible/impractical otherwise. Doing so risks either accidental misrepresentation or editorializing, which is a bit of what happened here.