Export to PasteHTML is now functional.