JavaScript information for website

[Chris Lamb]

[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
site.

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,

--
      o
    ⬋   ⬊      Chris Lamb
   o     o     reproducible-builds.org 💠
    ⬊   ⬋
      o