Chromebooks and changing SSH keys

When a hosts remote identification key changes, usually it can be fixed by removing the offending line in the .ssh file, but in the Chromebook SSH App, it needs to be cleared through the JavaScript console:

term_.command.removeAllKnownHosts()

From Google Groups.