A set of plugins for the gnome clipboard manager Diodon.