added ssh pubkey for Michael Bauer