Typjng people's pubkeys to navigate to a website is not convenient. Will be some shortened version of the pubkey? Or maybe using NIP-05 addresses?