Hi,
I know about the issue you mentioned. However, it is really hard to fix it because many fonts do not use standard strength for their characters. Furthermore, detecting a text that is already emphasized (with custom strength/bold font) may be costly (most of the time, we need to use "getComputedStyle()" in Javascript, which is slow and not efficient).

I'm glad you found the workaround for the issue! I put a lot of effort to build that Options GUI, but not so many people care about it :D!