Yup - he almost quit around 2020, as he was being harassed as one of the “powermods”. Back then Reddit admins still pretended that they cared about the mods, but they did jack shit to 1) prevent users from harassing those powermods, and 2) curb down the powermods through policy. (And then the Aimee Challenor case popped up, showing that Reddit does have the tool to prevent harassment - but it’ll only use them to protect its own ranks.)