Hi Marco, so it looks like I will be able to tune up the shortcut keys for V4 to avoid that Shift key problem. So the next v4 beta should generate Shift+1 instead of Shift+! and shouldn't cause trouble with V3 anymore.

Thanks for reporting it! - Michael