Do you use the clipboard in the terminal? | Hacker News Reader