Update: In December 2022, pedestrian crossing lights were installed at the intersection. Thank you to the City of Berkeley for their help!