python3-fonttools: Tools to manipulate font files