Patrons enjoying the new Petaluma Public Library at its dedication