Perform rescan for github.com/google-deepmind/formal-conjectures/pull/2324?