Thanks for the PR!

It's working well on a quick test on Chrome, Safari, Firefox and Opera on macOS, and Chrome on Android.

For now it's text but maybe we could use an icon instead?

An advantage of text over icons is it's more accessible and less open to misinterpretation and different cultural associations.

However, GitHub and Discourse use a double-square icon, so this may be familiar:

a=1b=2asserta<b

https://discuss.python.org/t/pep-781-make-type-checking-a-built-in-constant/85728/1

And when clicked, GitHub shows a tick and "Copied", Discourse shows "copied!". They also use aria-labels for accessibility.

Discord is similar and shows a tick when clicked:

But I'm fine with this text-only version, and an icon could also be a followup if we want that.

#154 (comment):

I would suggest to usenavigator.clipboard which has been supported by all major browsers for >5 years at this point.

Yes, that feels long enough, it has~95% support and we don't need to support copy for older browsers. But what happens on a browser without support? As long as we don't break things completely.

Thanks!