sphinx-prompt (pypi): Sphinx directive to add unselectable prompt
Keywords: sphinx|shell|prompt|documentation|sphinx-extension