I can reproduce the bug. Specifically, "copy" does not work in gnome-terminal. Neither using the keyboard shortcut nor the contextual menu, nor by simply highlighting the text. Going to restart the X server... ok, now it works. Who knows why...