Fixes #2604 It's not so easy to handle this frontend side, so I feel it's better to be explicit and add a `doNotTranslate` attribute to the option. Added the frontend code to take that into account, as well as a note in the docs.