We use minified versions of JQuery / jQueryUI and google-code-prettify in the Notebook.

Some package managers require full versions alongside minified, and they can be
dropped in here, if necessary.

origins of our minified js:
prettify:  http://google-code-prettify.googlecode.com/files/prettify-small-1-Jun-2011.tar.bz2
jQuery-1.6.2: http://code.jquery.com/jquery-1.6.2.min.js
jQueryUI-1.8.14: generated by https://jqueryui.com/download

And their unminified counterparts:
prettify:  http://google-code-prettify.googlecode.com/files/prettify-1-Jun-2011.tar.bz2
jQuery-1.6.2: http://code.jquery.com/jquery-1.6.2.js
jQueryUI-1.8.14: https://github.com/jquery/jquery-ui/tarball/1.8.14
