In system 25.0, with microcode 612, on LISP Machine Five: Why was the font LMFONT:PRT12B deleted? I have brought it back\n from backup. Was this an unintentional deletion or a result of somebodies garbage collection.