[shift-insert, to paste output from my terminal]