Well – at least copying via middle-mouse-click saved me, but still: scary.

https://briantracy.xyz/writing/copy-paste-shell.html [https://briantracy.xyz/writing/copy-paste-shell.html]

— Bascht (@bascht)