FYI: copybutton has a skip-text option to remove Python prompts like >>>, although there's an open issue for multi-line input, which may use "..."
Also, there is a way to automatically hide prompts in sphinx, but I don't know how to activate it.

So if we can enable this feature, then users can just highlight text without the prompt.
It looks like the ability to hide the prompt may not be available in RTD? Unclear?
Chris Holdgraf's sphinx extension is unfortunately similarly named, "sphinx-copybutton" but they are _not_ the same.
The copybutton.js scipt is part of the scipy-sphinx-theme extension:
which states that it is copied from the PSF cpython here (moved from cpython to python-doc-theme in 2017):
FYI: python-doc-theme is on PyPI here:
So, what to do? I see a few options:
1. use chris holdgraphs sphinx-copybutton extension
2. use the python-doc-theme or something similar
3. do nothing.
That doesn't answer the question about what to use for terminal prompts. I only looked through sphinx docs, and they use the $ terminal prompt at least a few places.
IMO, we might skip the terminal prompt and just say explicitly, enter this into a terminal, but for python repl maybe we use ">>>" and the python-doc-theme?