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.