Seth Hillbrand 0f84ddaf39 Avoid throwing a spurious substitution warnings
If the original font is a bold singleton (not a mod on a face), then we
need to avoid the mismatch between the bold marker and the asked-for
boldness.

At the end, if the font name is the same within case differences, then
it is the same font and we should not warn
2024-07-16 09:28:07 -07:00
..
2023-08-07 14:01:58 +01:00