svoid ocr_unpackGlyphTeachLogToScreenClipsDir() { for (S s : scanLog(glyphTeachLog())) { s = dropLeadingSquareBracketStuff(s); // drop date S md5 = dropPrefixOrNull("Image ", beforeColon(s); // image md5 File imgFile = newFile(screenClipsDir(), md5 + ".png"); if (!imgFile.exists()) continue with print("Image not found, skipping: " + imgFile); saveTextFileIfDifferentVerbose(replaceExtension(imgFile, ".line"), afterColon(s)); } }