Re: omitting collection-fontsextra installation by default? (RFC)

    I feel old posting "don't change a thing" messages, 

I hear you :).

This and Zdenek's msg are some of the reasons why Norbert and I have
never really prioritized figuring out on the fly. That, and it is not
easy to do :). --best, karl.