David Mandelberg Tue, 14 Feb 2023 13:33:18 -0800
I made https://salsa.debian.org/extrepo-team/extrepo-data/-/merge_requests/209 to fix this.