On Thu, 11 May 2023 23:24:25 +0200
"dng@???" <dng@???> wrote:

> I opened this website with the Noscript addon enabled in Firefox and
> no animated code block to be seen.

I'd be willing to bet the javascript is hosted elsewhere, in which case
a blanket block of that URL would suffice.