Are we moving away from the glyphicons in favor of FontAwesome icons, then?