pedant

a person who annoys other people by correcting small errors and giving too much attention to minor details

Updated October 1, 2026