* Nathanael Nerode: > This is a main/contrib issue, *not* a main/non-free issue. Everyone > agrees that the documents which use the non-free fonts are > themselves free. In an abstract sense, maybe. But the concrete representation of that document which embeds proprietary fonts is non-free. It's just like statically linking to a proprietary version of libstdc++, really.