I believe it is possible to paste text copied from your local machine into a HoL session.
Is it possible though to do the reverse, i.e. select text in a HoL environment and paste it into a local document?
