Recently I came across the question How to extract the UI label texts using selenium webdriver where apparently as per revision 1 it appeared the OP initially hadn't provided the relevant HTML within the question. But later the OP has provided the HTML as a comment. Fair enough.
I decided to update the question with the HTML from the comments. While editing the question it was evident the HTML was already present within the question, but it wasn't visible due to an indentation issue. Hence I went ahead and indented the HTML for proper visibility.
But now the comment is no longer necessary, and I feel should be deleted. I do have the option to raise a flag, but I am unsure which flag suits this usecase as follows:
- rude or abusive - This comment violates our "Be Nice" policy.: No, it's not rude at all.
- no longer needed - This comment is obsolete, chatty, or otherwise unnecessary.: No, Review Team will have no clue that the HTML is already present within the question and I don't have an option to pass this information. The flag will be declined.
- in need of moderator intervention - A problem not listed above that requires action by a moderator. Be specific and detailed!: No, I don't want to engage a moderator's attention for a trivial issue.
So what would be my correct coarse of action to get the comment deleted?