Reddit CEO has colorful nickname for troublemakers