Removed JS mangle that profoundly disturbed AngularJS.