Recently UCSC announced that College 10 would be renamed John R. Lewis College after the congressman and civil rights activist.