Of course, there is a source for the plugin available and anyone who is tech savvy enough can do that. But this is pretty annoying in the situation when you update your plugins via WP automatic upgrade system – which allows you to perform the upgrade from your browser, basically anywhere. For me, such upgrade requires necessary steps – I need to FTP to my hosting provider, download the source, fix it (and remember how), then upload it back and check for results. This is pretty annoying and error prone.
I know that Flash movie can be fixed, but such fixed version is overwritten every time I upgrade the plugin, so it brings me back to the first solution. Adding the option would help users like me a lot – this is the only plugin from many I use that requires manual fixes each time I upgrade.
I’m not sure how many diacritic characters the flash movie contains but I believe that many of people are affected by this. I can speak only for myself but on a few occasions I seriously considered removing the plugin, despite the fact I love it.