Updated Font-Awesome and Vanilla Bootstrap themes to latest version and made Vanilla Bootstrap the default theme in config-defaults.php