JavaScript information for website

Chris Lamb chris at
Wed Jul 29 15:00:05 UTC 2020

[Keeping you in CC as requested]

Hi John,

> However, modernizr.min.js, popper.min.js, and run_prettify.js are minimized
> and don't say what version they are. Would anyone be able to identify this so
> I can locate the corresponding source?

Thanks for bringing this up. It turns out that the three files you
listed are not necessary, so instead of locating the corresponding
source code I have simply removed all references to them from the

I've also added the corresponding unminified versions of bootstrap.js
v4.1.0 and jQuery Slim v3.3.1 to the source tree.

I assume all the above fits your overall goals.

Best wishes,

    ⬋   ⬊      Chris Lamb
   o     o 💠
    ⬊   ⬋

More information about the rb-general mailing list