On 03/05/2020 17:13, Joseph Eisenberg wrote: > The deprecation was not discussed, and it was not done by anyone at > OpenStreetMap Carto, BTW. > Er - wasn't that https://github.com/gravitystorm/openstreetmap-carto/pull/3619 ? You commented in the discussion there... Best Regards, Andy