I wanted to edit the headline, but I know how futile that is these days on HN, having done it many times before and having it edited to strictly mirror the orig

I wanted to edit the headline, but I know how futile that is these days on HN, having done it many times before and having it edited to strictly mirror the original headline of the post.