mathlib

253a9f7d - fix(docs/install): resize extensions icons for consistency [ci skip]