<div class="gmail_quote"><div>That was it, thanks! I had the gfsdidot package installed, which put the font files in two or three additional places.<br><br></div><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
Is it possible that you have multiple copies of the font installed,<br>
perhaps both .otf and .ttf formats, or something like that? I could<br>
imagine that leading to confusion.<br>
</blockquote></div>