https://www.javiergutierrezchamorro.com/ditto-clipboard-manager/
Ditto Clipboard Manager