Found a small bug:
- Restart the game
- Select some text and then ctrl-c
- ctrl-v works normally
- Select some different text, shorter than the first selection, then ctrl-c
- ctrl-v reveals that the first selection is still in the copy buffer, with only the start of it being replaced by the second selection.
- No way to clear the copy buffer except to restart the game.