I don’t think you did, you just changed them from highway=footway to highway=path, which are basically equivalent taggings.

I have removed designation=public_footpath from them in https://www.openstreetmap.org/changeset/153664866. That’s what marks them as a Public Footpath. They were indeed not present on the council’s definitive map.