[PD] Fwd: Re: linux: "-font-size" startup flag -- does this work?