Correcting somebody for using the obviously colloquial term is absolutely pedantic. Yes it is correctly to say the scientific term but thats just not what happens. Ultimately there was no confusion, nobody actually thought OP was talking about shaving the actual vagina, so what did making an “ummmm ackkchully” comment achieve in this scenario? Its just so weird.