redactor.js pastePlainText - but need button to paste html instead

Question

Most of our customers complain about formatting carried across from Word to our redactor.js rich text editor fields. We upgraded to use the pastePlainText setting, which see

Answer 1

If you, like me, were looking for a plugin to paste simple text into Redactor and found this question only to learn that the answers are very old, you'd be happy to find out that the answer is actually in the Redactor docs.

It turns out that their example plugin with modal window is exactly that, a "paste clean text" plugin.

You can find it here: https://imperavi.com/redactor/examples/creating-plugins/sample-plugin-with-modal-window/