[Greasemonkey] Javascript character encoding problem

[Jonas Lundberg]

It is definitely a bug, according to the w3c draft, the xmlhttprequest
encoding is not correct.
http://www.w3.org/TR/XMLHttpRequest/
"If the method is POST or PUT, then the data passed to the send()
method MUST be used for the entity body. If data is a string, the data
MUST be encoded as UTF-8 for transmission. If the data is a Document,
then the document MUST  be serialised using the encoding given by
data.xmlEncoding, if specified, or UTF-8 otherwise [DOM3]. "

Is there a bug tracker or something?
(I wish I could fix this myself... but perhaps someone else can?)

Hans