Hmm. I wonder if we should defer the actual use of the font till 11.04? That list of Paul's was comprehensive (thanks!) and longer than I'd expected. It may be more realistic to use it as default font in 11.04.
Mark
Hmm. I wonder if we should defer the actual use of the font till 11.04?
That list of Paul's was comprehensive (thanks!) and longer than I'd
expected. It may be more realistic to use it as default font in 11.04.
Mark