static File glyphTeachLog() {
  ret javaxDataDir("glyph-teaching.txt");
}