It’s so interesting that the word “corrector” could end up being used as a pejorative.

If a person made their life’s work to edit the dictionary and make it the best and most accurate dictionary possible then nobody would sneer and call them a “dictionary corrector” as if it were a bad thing.