Thanks – have posted it at https://github.com/openstreetmap/operations/issues/318