(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
Reviewer: Kwankyu Lee
Issue created by migration from https://trac.sagemath.org/ticket/33529