Documentation of the theme MkDocs contains a broken link to highlightjs.org

The line docs/user-guide/choosing-your-theme.md:223, last touched 5 years ago, references https://highlightjs.org/static/demo/ (related to the parameter hljs_style).

Around August 2023, this link was apparently deliberately broken by highlightjs.org with a redirect to this:

(I have no idea what I'm supposed to see there, but I'm interested.)