exporting SSH host public key (two variants: one traditional ssh, the other OpenPGP...