That Javascript turns the page into a Rich Text WYSIWYG area. You will usually find it enabled for textareas on sites like this where you use a textarea to post a message.
If you want to go a bit further then Opera has a Reload From Cache feature
http://www.opera.com/products/desktop/