<div id="comment:0"></div> (split out from #24593) Follow-up on #33309, which disabled use of the old thebe in our HTML documentation. CC: @kwankyu @nthiery Component: **packages: standard** Author: **Matthias Koeppe** Branch/Commit: **[`9621c97`](https://github.com/sagemath/sagetrac-mirror/commit/9621c97820a393c0835c9fadcfbc4f2f60fc17f7)** Reviewer: **Kwankyu Lee** _Issue created by migration from https://trac.sagemath.org/ticket/33529_