Improve serif fallback font name matching

Author: james-atticus

src/core/fonts.js

@@ -989,10 +989,14 @@ class Font {
     // Fallback to checking the font name, in order to improve text-selection,
     // since the /Flags-entry is often wrong (fixes issue13845.pdf).
     if (!isSerifFont && !properties.isSimulatedFlags) {
-      const baseName = name.replaceAll(/[,_]/g, "-").split("-", 1)[0],
+      const stdFontMap = getStdFontMap(),
+        nonStdFontMap = getNonStdFontMap(),
         serifFonts = getSerifFonts();
-      for (const namePart of baseName.split("+")) {
-        if (serifFonts[namePart]) {
+      for (let namePart of name.split("+")) {
+        let fontName = namePart.replaceAll(/[,_]/g, "-");
+        fontName = stdFontMap[fontName] || nonStdFontMap[fontName] || fontName;
+        fontName = fontName.split("-", 1)[0]
+        if (serifFonts[fontName]) {
           isSerifFont = true;
           break;
         }

test/pdfs/.gitignore

@@ -737,6 +737,7 @@
 !bug1708041.pdf
 !bug1978317.pdf
 !dates.pdf
+!issue13845_TimesNewRomanPSMT.pdf
 !dates_save.pdf
 !print_protection.pdf
 !tracemonkey_with_annotations.pdf

test/pdfs/issue13845_TimesNewRomanPSMT.pdf

@@ -8560,6 +8560,12 @@
       "108R": {
         "value": true
       },
+    {  "id": "issue13845_TimesNewRomanPSMT",
+       "file": "pdfs/issue13845_TimesNewRomanPSMT.pdf",
+       "md5": "be3648879c0dfce8ce070f714e2cb075",
+       "rounds": 1,
+       "type": "eq"
+    },
       "109R": {
         "value": false
       },