Neither the existence of this link nor anything in it contradicts the developer's earlier post. It looks like the situation was inaccurately summarized by the HN user with the top comment hereāthe PeaZip developer didn't announce that he or she was going to stop working on PeaZip.