I think it’s best to report it here:

https://github.com/openstreetmap/operations/issues