Option A: Suspect pedantic "reply-guy" lawyer, give snark reply. Option B: Charitably overlook that truth, and explain the (self-evident) term anyway. Well done, sir. This is Bluesky, not Twitter, and we take the high road here.