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... -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
