Como apagar uma chave ssh da lista de chaves conhecidas

Raramente acontece mas por vezes instalmos um servidor de novo, mudamos um domíno de local ou outras alterações que levam a que as chaves ssh conhecidas guardadas num sistema local deixem de ser válidas. Depois quando tentamos fazer login com ssh não conseguimos.
Para remover a chave do ficheiro de chaves guardadas:
ssh-keygen -f “/home/mario/.ssh/known_hosts” -R dominio_ou_ip_a_remover.com