“How I copy & paste in the terminal”