Board Thread:General Discussion/@comment-30718870-20180302114219/@comment-3026053-20180302122951

No worries :-) If it does happen to be a duplicate, it's fine under the motto "better reported twice than not at all". It's just that if you happen to notice that you've been the second person to report, you might as well remove the report again.