ChromeOS – removing SSH known_hosts from Chromebook

This is a repost of here, so I can find it fast…

The short of it: CTRL+Shift+J, then type

term_.command.removeKnownHostByIndex(INDEX);