Is there a Clipboard Manager (such as M8 clips - Free Clipboard software program: Free Multi Clipboard by M8 Software, or other similar ones (101Clips) for Linux?