Thread:HorusDB/@comment-31841271-20180728180055/@comment-32271305-20180728192106

It's usually a job for Discussions Moderators (and I see that his name has already been mentioned on this thread), but I'll be happy to give him a warning as well.