Euhm, and where would I comment that support?
I edited the code for TinyMCE, but could not find what you mention. I found
add_filter( ‘tiny_mce_before_init’, ‘tadv_mce_options’ );
which I commented, but it did not help. I still get the amp; issue. Then I tried deactivating the plugin, but that also did not help. I have the following version of the plugins installed:
SyntaxHighlighter 1.1.2
Tiny MCE Advanced 3.2
If somebody could shed another light on how to solve this, please be welcome, this is getting… annoying.