Thanks for clearing things up, Gatanui.
And as a final note, I actually gave Dr. Random a CHANCE. Instead of reporting him, I deleted his mindless comments and after many deletions I put a warning sign. But since he didn't stop after that, he got banned for his actions.