altera o nome de uma fonte no os x

Question

eu estava lendo um excelente artigo sobre HTML5 , e o O título dos cabeçalhos de página e seção tinha uma fonte muito distinta. No entanto, enquanto fontes sofisticadas em páginas da Web são historicamente apenas imagens de texto, o autor da página estava usando font-face do CSS3 para hospedar a fonte do lado do servidor, por isso mesmo que eu não tivesse a fonte no computador, a página continuava sendo exibida como o autor pretendia.

eu pesquisei o CSS da página e encontrei o seguinte:

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

Eu decidi tentar baixar a fonte:

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

e, em seguida, eu arrastei o arquivo baixado em "Font Book" (eu estou usando o Mac OS x 10.5), mas o nome apareceu como e72ccf962bdd2bc1 - subset of Essays1743 , o que significa que se eu visitar a página novamente, meu navegador não reconhecerá agora tenho a fonte.

a questão:
Como posso editar o nome da fonte, de preferência com um programa gratuito, para que apareça como "Ensaios 1743" no meu 'Font Book', e meu navegador reconhece que eu tenho a fonte?

    

Answer 1

Eu acho que minha abordagem estava toda errada, a fonte é disponível para download (com licença LGPL). Eu ainda estou interessado em como eu iria renomear / editar fontes embora.