Well actually, a number of years ago I suddenly came to the realization that copy-paste worked as intended, after suddenly remembering that in the past I had to be careful not closing the application from which I copied. I was confused. Back in the days I ran all kinds of clipboard managers; I even wrote one myself. And now, since Ubuntu >= 8.10 or something, I don't see any indication of a clipboard manager yet everything worked as expected. How can that be? I Googled, but found nothing. I read the source, but couldn't find the location of the clipboard manager within 10 minutes so I gave up and just accepted that things Just Work(tm) now.