The document at the URL has a BaseFont /Georgia and a FontDescriptor with FontName /Courier and for another font it's /Georgia,Bold and /Courier . MuPDF inconsistently uses /Courier in the first case and /Georgia,Bold in the second, whereas the expected behavior is to use both Georgia variants (which is also what Adobe Reader does).
The linked file is 404'd. Are there any cases where using the FontName rather than the BaseName is actually preferred? I've tried ignoring the FontName altogether and get one progression on the test files and no regressions. Maybe that will end up being an easier approach?
(In reply to comment #1) > Are there any cases where using the FontName rather than the > BaseName is actually preferred? http://bugs.ghostscript.com/show_bug.cgi?id=691570#c4 (also note that in that case, cutting the name part before the '+' does the wrong thing - which is why we only check the 7th character and not the entire name for a '+')