Wikimedia Bugzilla is closed!

On the German Wiktionary, Opera 9.x is very sluggish in showing what you are
typing because of <charinsert> tag(s) in [[wikt:de:MediaWiki:Copyrightwarning]].
If we move the whole stuff from [[wikt:de:MediaWiki:Copyrightwarning]] to
[[wikt:de:MediaWiki:Edittools]] it works perfectly. But within
[[wikt:de:MediaWiki:Copyrightwarning]] we would have to remove the <charinsert>
tags to regain performance! Why does it work when placed in
[[wikt:de:MediaWiki:Edittools]] but not when placed in
[[wikt:de:MediaWiki:Copyrightwarning]]? We want to have the charinsert stuff
right below the edit box, so we need the special characters in MW:CW.
Furthermore the error console of Opera 9 shows lines like this (unless we have
the stuff within [[wikt:de:MediaWiki:Edittools]]):

CSS -
http://de.wiktionary.org/w/index.php?title=MediaWiki:Copyrightwarning&action=edit
HTML style attribute
Declaration syntax error
Line 1:
  font-family: , "Bitstream Vera Sans [bitstream]"; font-size: 1em
  -------------------------------------------------^

The last two line differ from time to time, see
[[wikt:de:Benutzer_Diskussion:Melancholie#Opera-Bug]].

I played around a lot (now archived on
[[wikt:de:MediaWiki:Copyrightwarning/Archiv]]), and I think that not only the
<charinsert> tags are the problem (maybe also <!-- -->, etc.), but when removing
all charinsert tags it works pretty fine!

Note: It is not a JavaScript problem (exists even if JS is disabled); W3C
validates the edit page; I cannot find any reason in the HTML output file for
this bug!