A clipboard manager plug-in for the Xfce panel
https://docs.xfce.org/panel-plugins/xfce4-clipman-plugin/start