Perform rescan for github.com/google-deepmind/penzai/pull/125?