Copy and Paste is not working on my Remote Desktop Connection… what’s wrong?

I use Remote Desktop a lot to get to various Windows machines and every now and then, Copy and Paste is not working, even though in the options, I enabled access to the Clipboard.
Thanks to this blogpost of Emmanuel Carabott, I finally found a fix. Well, a work-around, but that’s good enough. Thanks Emmanuel.