Copy-to-clipboard

This page has a few code-areas that have a copy-to-clipboard icon in the top right corner of the code box. When you click them… it copies what’s in the code-area to your clipboard.
I haven’t located documentation on how to replicate this???
I see that the page is originally markdown: Files · master · GitLab.org / GitLab · GitLab
And is pulled into a theme? to be displayed as html. Could someone could point me to the section of the theme that handles this?
Been here: https://clipboardjs.com/
and here: Add "Copy to clipboard" buttons (!1494) · Merge requests · GitLab.org / GitLab FOSS · GitLab
and a guthub example here: Followed instructions; not working. · Issue #94 · zenorocha/clipboard.js · GitHub
which works, but doesn’t look as good.
I’ve looked at the source html. It includes the script clipboard.js but doesn’t appear to use it as documented on their site.
Could someone point me to the documentation on gitlab usage, or to an example?
Or better yet, tell me this idea didn’t die on the vine, Copy code blocks in markdown with a single click (#21172) · Issues · GitLab.org / GitLab · GitLab and the function is now available in markdown?
Thanks