It's not worth the effort. The parent commenter is a bot, its comment history is nothing but spamming submissions with "[dupe]": https://news.ycombinator.com/th

It's not worth the effort. The parent commenter is a bot, its comment history is nothing but spamming submissions with "[dupe]": https://news.ycombinator.com/threads?id=ChrisArchitect https://news.ycombinator.com/threads?id=ChrisArchitect