Isn't that what "ssh-keygen -R" command is for? Though I agree that your solution is more generic.