...and finally, to wrap up the day: upgrade of the Rich Text Editor to 2.3. It was quite a lot of work to make sure that it plays well with the Standard Editor but I think it's good now. Note how much faster it is (you need to empty your browser cache!)

---