no, as edit was done about decade ago: https://www.openstreetmap.org/node/1850879229/history

Though they still contribute, so maybe asking them has some value ( https://www.openstreetmap.org/user/Netzwolf/history )