I think this issue has gone away since the new versions of Carto now process the access tagging more completely, so that `access=no` , `foot=permissive`  is now rendered the same as `foot=permissive`, i.e. both (correct) taggings are shown in the same way. 