Do we know what his reddit username is? Because if he gets harassed enough maybe he'd buy reddit too