"Copy to clipboard" tool on docs.gitlab.com

The "copy to clipboard" tool that we have in various parts of the GitLab app (e.g. reviewing merge requests to pull the branch), would be very helpful in parts of the docs too. Is this something that has been considered / debated? I could not find an issue around it.

cc @axil @marcia