I'm sorry to hear that my extension isn't working for you. I did all of my development on Linux (Debian) so I know it should work. It might be an incompatibility with another extension that you have installed as there are very few keyboard shortcuts that we can use without some sort of conflict.

I'm pleased that you like my extension. Your suggestion is interesting and I will look in to increasing the number of custom characters that can be defined. Thank you.