Maybe check with some international Windows users who make extensive use of the AltGr key to make sure it doesn't throw a wrench in the works.
To be honest... I had no idea there were any kind of "industry standard" word-highlighting shortcuts before this thread. I'm a dyed-in-the-wool manual highlighter, myself. So all highlighting shortcuts will probably interfere with my double-clicking habits.
