By the way, another reminder: don’t quote the trolls. You can use the reply button (not quote) if you want to mock them, but if you quote them your comment will also be deleted.