Re: [PD-dev] more on the 12 point font mystery