Os mapeamentos são diferentes porque o Mac OS X não é um DOS, para o qual o site a que você vinculou foi aparentemente gravado. Os mapeamentos específicos foram herdados de emuladores de terminal Unix / Linux anteriores, como é refletido em suas opções para o tipo de emulador de terminal Terminal.app que você deseja exibir:

Comovocêpodever,porexemplo,F6 to ^[[17~ é consenso generalizado entre emuladores de terminal.
O Shift-F5 do terminal para Shift-F12 é equivalente ao F13 do VT220 a F20 .
O% s Opt-F1 to Opt-F15 do terminal equivale ao F6 to F20 do VT220, ou seja, a opção "desloca" 5 teclas para a direita.
Eu assumo que este mapeamento é o resultado do desejo de ser compatível com os mapeamentos existentes e fornecer o mais próximo possível de um teclado de 20 F -key com apenas 12 ou 15 teclas F em Macs modernos .
Se você não gosta desses mapeamentos específicos, é fácil alterá-los na caixa de diálogo de configurações já mencionada. Lembre-se de que você pode mapear para uma entrada praticamente arbitrária (que é, na verdade, uma maneira bem simples de fazer os atalhos de teclado do tipo Typinator / TextExpander no Terminal):
Se você preferir editar em um editor de texto simples, poderá exportar uma configuração do Terminal usando o ícone de engrenagem, editá-la (é XML) e importá-la novamente.