Effectively. There are two PRs (one a stand-in minimal solution, another a fully worked out one) which solve this problem; neither has gotten merged or even seriously considered. If you dig around a little the gatekeeping patterns become obvious, and you'll also note a number of other maintainers giving up and resigning. But don't do that; it just makes for depressing reading.

Besides, regardless of what he says there, there isn't even a single thin line on Carto rendered maps to indicate the presence of significant infrastructure where this tag is used. That inaction speaks clearer than his words.