Perhaps you’ve caught me on a bad day, but your comment felt needlessly pedantic when, as you note, there’s no underlying disagreement here. If your intent was to expand upon what was implicit in my comment for the sake of those who don’t know what Xenophon or Aristophanes (or even Plato) wrote about Socrates, then fair enough. Apologies for being aggressively sarcastic.