It would be nice to be able to copy such highlighted text with ctrl+c:\ 