Franky,
I believe that option 3 is the one that’s most likely to break. It’s going to be highly dependent on the WordPress version and will probably need to be fixed with every new release of wordpress.
Short term I would do option 2 by replacing WPGlobus tabs with a drop-down and keep just one editor.
Long term I’d try to patch WordPress javascript and try to get the patch in.
I’m afraid though, that I cannot be of much assistance with the fix, though – my PHP knowledge is a bit rusty and WordPress API ecosystem still a compete mystery.
