Is there a term for this kind of internet comment section correction? Like "it's an aptronym, not nominative determinism", or "it's an initialism, not an acronym".

(I'm not saying this to be snarky towards you or anything like that, and I personally appreciate seeing such corrections. Genuinely just curious if there's a term for this specific sort of thing, since it's common on HN and reddit.)

I'm not sure, I didn't see the nominative determinism comment until I posted my own link.

From my POV, I like seeing comments that facilitates exploration into an observation so was happy to share the link!