Implement coloring of extensions deployed on WMF servers; update list