I think instead of "pedantry," you're looking for "facetiousness."

		knicholes on Nov 11, 2022 \| parent \| context \| favorite \| on: Scaling Mastodon in the face of an exodus I think instead of "pedantry," you're looking for "facetiousness."