Thanks for tips.
1 :: nice suggestion. I am bit baffled about why a bug gets fixed in plugins rather than in trunk, but I will try it out…
2 :: Sorry, but I already tried disabling the rich text editor, and it does not change. Maybe another plugin will do it?