Mathlib Initiative advisory board

Matthew Ballard joined the Strategic Advisory Board of the Mathlib Initiative, an organization supporting the continued development and long-term sustainability of Mathlib. He continues to serve as a Mathlib maintainer.