On Wed, Nov 27, 2013 at 10:10:26AM +0100, Samuel Mehrbrodt wrote: > Hi Robert, > > I think there is no formal process when to include a new font. If it makes > sense, it's ok. Fonts are not that big. Fonts CAN be that big :) Look at TeX Live, of its 3.5 GB install, 1.4 GB are fonts.