Improve usability of text copied from PDF