Add full versions of minified JavaScript. Fixes #400