I think a felony would have been a bit much. On the other hand, unhinged assh*les like this guy should pay some price for this sort of behavior. I’m sure you see it differently.
Maybe losing his job is adequate punishment. One less government employee spending his day on the internet is a good thing.