if you ever want to delete a retracted comment, refresh the page, and the "delete" option will magically appear, provided no one replied yet.

Thanks for the info! I didn't know that. Normally if I look at a comment again, it is because someone replied, so I never noticed a delete button that appears if there are no replies. Very useful!