I just noticed that, when editing a post that uses SyntaxHighlighter (that has the tag <pre>) in Visual mode, attribute name="code" gets lost. The attribute needs to be inserted again in HTML mode. Annoying, to say the least, if not downright scary.
This is how the <pre> tag should look like:
<pre name="code" class="c-sharp">
... some code here ...
</pre>
If [...]
Bug in Wordpress?