Thanks, Vincent.
I did not check, but could someone tell me where this new GitHub dependency comes from? From the listing on the CI, I see that it is something to do with geometry by Peter Uhnak.
I remind you that we want to release soon, and we need to stabilize.