Milpitas considers library name changeMilpitas City Council is considering renaming the library after former mayor Jose Esteves for his contributions to the community.