Now that bootstrap.js is back to normal, let's switch to the minified version, shall we?