Hmm there may be a bug here so I’m going to recategorize this, perhaps the tip is rendered before the translation override system can change it? I can reproduce this on a test site as well.
I even cleared cache, restarted my server, tried different browsers, etc… I can call the correct edited translation in the browser console, but it never renders in search.