Copy and paste with the system clipboard in SSH & Web Terminal Addon

[Blodskjegg (Raymond)]

This worked for me, but what a furious way to copy something