Does anybody else still have Twitter for no other reason than to find people’s pub key?