I think at the time it was right, but the ID admins sometimes also do strange things which don't fit https://lists.openstreetmap.org/pipermail/tagging/2018-May/036119.html