what's this?  was this file previously something other than just the minified core functionality of bootstrap? if not, it seems kind of wrong to add this here