Look for known hosts in ~/.ssh/config as well as ~/.ssh/known_hosts in case the latter contains only hashed hosts. Implement a GUI for the user to specify his preferred terminal app.