In Sphinx 4.1, prompt characters are no longer selectable: https://github.com/sphinx-doc/sphinx/pull/9120 I am wondering if this extension is still relevant? Perhaps a clarification of the additional features (see also #35) would help. cc @humitos