OK, I've changed that back in https://www.openstreetmap.org/changeset/174879700 . The previous conversation was in 
https://www.openstreetmap.org/changeset/174120016 - the author of that is the person to talk to about where it really goes!