pedantka

Etymology
From.