I can understand this topic. It happens sometimes you make a topic or you comment on something. But you make a mistake or something else is no longer important. You CAN’T DELETE on this IORR pages. So the only thing you can do, is edit and write something in the post as “Delete”
Maybe something to consider for Bjornulf?? (@bv) but this is not to say something bad about IORR