Extensão Gnome Clipboard History
