Do people actually use "copy" buttons on websites?

I'm currently building a webapp and want to give people an easy way to copy and paste their content to another tool.

The content itself is formatted quite strangely on our website (for a number of reasons). What people want to copy tends to be just the plain text from the page (or some portion of it).

We are going back and forth between a simple copy button and a modal with a copy button so users can decide what they want to copy.

What I am wondering is do users actually want copy buttons or do they want to press CRTL-C themselves?