text: It turns out, this feature already exists as https://www.openstreetmap.org/way/674327259 , but OSMCarto doesn't render it so it was extremely unobvious to me.
  
  Still, the layering has been improved with https://www.openstreetmap.org/changeset/172397559 , so we can close this.