It seems I managed to mess up the

release_2.17.0.dev3

tag last night. I’ve reset it to the proper commit now, so I hope everything is back in order (but the release page on GH for that version looks.. different now)