Mt Diablo is also a major survey point. It is the Initial Point for northern California. Renaming it could wreak havoc with surveys for a very large area. Glad to see the name stuck. So, How about Yerba Buena? After all, if Army Street needs to go back to its old name, why not San Francisco!