Because we need to differentiate dev
docs from user docs. A tier badge
indicates a user's subscription tier
and to be consistent, we don't need
them here. We also might add a different
badge to indicate contribute docs.