Ironic? There's plenty of words from several hundred years ago that are no longer considered part of current language(s). In any case, I don't believe Bob was

Ironic? There's plenty of words from several hundred years ago that are no longer considered part of current language(s). In any case, I don't believe Bob was uttering the word out of a charming fondness for etymological anachronisms, so much as pretentious ignorance.