no censorship of "view.fracFontMetrics", although it often degrades rendering quality;
no censorship of "view.fracFontMetrics", although it often degrades rendering quality;

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle