Request #13727: SSH may not exclusively use RSA keys anymore