The GitHub style was changed three months ago, but I’m still seeing the same issue in the Garmin.osm maps, as of the set from 2019-10-18. So the data is being updated, but it doesn’t look like the style has been. Is there anything we can do about that?