turns out Johns Hopkins is named after a guy with the same name, Johns being a surname that became his first name
a Schelling point for those who seek one