Tim Hoffmann - 2013-08-08

Workaround: You can already right-click and select+copy the text. Then paste in a new editor window. Not elegant, but better than manual search.