console: add a copy-paste ability