(forgot to say that it is perfectly your right to use an obsolete version of the dejavu fonts, and that I will stop doing the substitution if you want me too -- sorry for the noise)
(forgot to say that it is perfectly your right to use an obsolete version of the dejavu fonts, and that I will stop doing the substitution if you want me too -- sorry for the noise)