A small sphinx extension to add a "copy" button to code blocks
https://pypi.org/project/sphinx-copybutton/