Polyfill for \fghighlight{}{}/\bghighlight{}{}