OK, thanks, that clears that up. That kind of information would have been very useful to have in your changeset comment :)

I’ve added a note to the way in https://www.openstreetmap.org/changeset/171129521 pointing to this discussion so hopefully future mappers don’t undo the changes, because to a mapper without a really detailed knowledge of cycle path design/law, that pavement does look like it should be a cycle path.