No, it shouldn't. Those who consider these well-established terms 'problematic' avoid using them already. And those who don't (I, for instance) will find the proposed pop-up thesaurus annoying, and will of course ignore it, or seek ways to turn it off. So, at least for now, such a feature would be useless at best.