[tempodox]

Highlight-to-copy works inside the Terminal app, it just doesn't use the public pasteboard. You Shift-Command-V to paste. Dunno whether MMB would work too, or could be configured to do it.