Comment 12 for bug 164903

I wrote "Press Copy". Would it have been clearer if I had written "Press the Copy key"? It is customary to write "Press F1" instead of "Press the F1 key", or "Press Select" instead of "Press the Select key".
You can bind these keys in Terminal, which is actually quite convenient (much less work to do than the default binding Ctrl+Shift+V). I would appreciate if Terminal handled this key independently of any customary binding; this not the case right now but it seems to be a minor issue.