mathlib-initiative isn't on Renown yet

No one tracking a repo under mathlib-initiative/ with renown has a verified contribution yet. Be the first.