изменение имени шрифта в os x

Я читал отличная статья на HTML5, а заголовок страницы и заголовки разделов имели очень четкий шрифт. Тем не менее, в то время как модные шрифты на веб-страницах исторически являются просто изображениями текста, автор страницы использовал CSS3 font-face для размещения шрифта на стороне сервера, поэтому, хотя у меня не было шрифта на моем компьютере, веб-страница по-прежнему отображается так, как предполагал автор.

я покопался в CSS страницы и нашел следование:

@font-face
{
  font-family:"Essays 1743";
  src:url("f/essays1743-min.eot");
  src:local("Essays 1743"),url("f/essays1743-min.ttf")
}

Я решил попробовать скачать шрифт:

$ wget http://diveintohtml5.org/f/essays1743-min.ttf

и затем я перетащил загруженный файл в "Font Book" (я использую mac os x 10.5), но имя появилось как e72ccf962bdd2bc1 - subset of Essays1743, что означает, что если я снова посещу страницу, мой браузер не узнает, что у меня теперь есть шрифт.

вопрос:


как я могу изменить имя шрифта, предпочтительно с помощью бесплатной программы, чтобы он отображался как "эссе 1743" в моем 'Шрифты', и мой браузер распознает, что у меня есть шрифт?