TinyMCE converting tildes to entities and adding mce_href tag

TinyMCE is converting code like:

to:

I guess %7E is the hex code for the tilde entity.

It’s essentially the same issue as discussed here:http://modxcms.com/forums/index.php/topic,32659.0.html

I’m using the latest svn version of revo and I’m getting the same behavior with TinyMCE versions:
3.2.7.0 beta-3
3.2.7.0 beta-1
3.2.1.0 beta-3

Did you find a workaround for this?
Does this mean everyone is putting "real" urls into TinyMCE rather than the [[~12]] type tags?

I’ve tried fiddling with all sorts of TinyMCE settings and it still keeps encoding the tildes in modx link tags.
Similar versions, Revo rev6317 and tinymce 3.2.7 (from the package installer).

Oh wait: it seems it’s related to Firefox (I’m using 3.5.7).
Safari and Chrome seem to leave the tildes in hrefs un-encoded.

But then those browsers have other problems with TinyMCE...