A bunchload of fixes, default theme settings (mostly for the customizer), and a bit of file reduction thanks to removal of the Bootstrap documentation (which always may be read at http://getbootstrap.com anyway).