A petition was proposed recently to change the name of the Waldo Tunnel, known to many local residents as the Rainbow Tunnel, to “the Robin Williams Tunnel.” Many Marin and San Francisco residents...