A plugin for the Clipper+ Android app for the Diodon clipboard manager