We need better support for SSH host certificates | Hacker News Reader