That would be sensible, though in practice I think they tend to use free/libre fonts for this.

Reply via email to