Doesn’t pedantry just mean teaching? I think y’all knocked it out together, because you set him up

Edit My bad wikip says "Pedantry

an excessive concern with formalism, minor details, and rules that are not important.