I cannot find any way to edit or delete that post. Is it possible?
Here's the post in question:
https://savannah.gnu.org/forum/forum.php?forum_id=7375Good question. If there's a UI for doing either thing, I don't know. Michael? Theoretically, we could manually replace the text into the database. Deleting it sounds harder, due to the inevitable references that are who-knows-where. k
