I can second this type of experience. When I (more actively) moderated the subreddit for my university, there were a few repeat offenders who took most of our time, and one who went out of his way to try and dox and threaten me specifically (which wasn't hard since I ran the account under my real name), and who I finally dealt with by involving the police.

Politically motivated reddit people are, or at least can be, scary.