Hi!

I'm planning to movethis work to this repo.

@AA-Turner Suggested to me in this PRpython/cpython#107037 (comment) to do that. Please tell me, what do you think :)
Do you agree that that's a good idea?

If so, I guess I would need to rewrite this function, right?
https://github.com/python/python-docs-theme/blob/main/python_docs_theme/static/copybutton.js