diff --git a/src/sage/docs/instancedoc.pyx b/src/sage/docs/instancedoc.py
similarity index 95%
rename from src/sage/docs/instancedoc.pyx
rename to src/sage/docs/instancedoc.py
index 681fbf767bd..e24368e4943 100644
--- a/src/sage/docs/instancedoc.pyx
+++ b/src/sage/docs/instancedoc.py
@@ -116,5 +116,7 @@
 #                  https://www.gnu.org/licenses/
 #*****************************************************************************
 
-from sage.misc.lazy_import import lazy_import
-lazy_import('sage.misc.instancedoc', 'instancedoc', deprecation=33763)
+from sage.misc.superseded import deprecation
+deprecation(33763, 'This module is deprecated. Use "sage.misc.instancedoc" instead.')
+
+from sage.misc.instancedoc import instancedoc