selects all the text in a box (useful for deleting), and copies the text to the clipboard, if your browser supports that. You can then cut & paste the results into your document. You can also do the same in any grey box, if you want to target only certain types of escaped text.
Alternative representations will appear in all the other boxes. Type or paste text in the green box and click on the Convert button above it.
