BTW windows now ship with a clipboard tool like this using Windows + V shortcut. I use other tools you mentioned already though. Need to try ditto. Is there a list of similarly *fast* alternatives like this for windows (+other OSes)?
One of the best parts about ditto is that you can choose to paste with or without formatting