Yeah, one is ttf, the other is otf, so both are covered there. Anyhow, I will experiment with the switching of fonts and see what comes up there!
