I appreciate the input of a link/name of the GitHub that can delete comments. I agree they should lose in the end for refusing to delete all content and it’s just a matter of getting them there.
Also, anyone still planning to delete their comments and then delete their account: make sure your comments are gone and then wait a few weeks to make sure the comments stay gone.
But they have refused in the past to comply with a formal deletion request. They say, you may delete your account, but if you want your comments/submissions deleted, then you will have to do all of them yourself. My source is Louise Rossman on YouTube talking about how Reddit is willing to do illegal things to stop people leaving their platform.