docs: remove problematic sphinx-prompt extension

Author: abdes

doc/conf.py.in

@@ -46,7 +46,6 @@ extensions = [
     'sphinx.ext.todo',
     'sphinx.ext.coverage',
     'sphinx.ext.viewcode',
-    'sphinx-prompt',
     'sphinx_copybutton',
     'myst_parser',
     'breathe',