Hey @binarycat
You have posted this in support. What kind of advice do you expect?
I understand the argument that the other post is deleted, but since it can be undeleted for 24 hours, this could also be abused. Spammers can delete the post, post the same text again, and undelete the first post.
By default, the unique post mins setting is 5 minutes. That’s an okay trade-off between preventing accidental or spammy double posts. But you can adjust that setting to your community’s needs.