/* copy.js: a snippet's Copy button. First-party, dependency-free, CSP-clean and optional: delete it and its