Is there any point adding explicit pavements that run adjacent to roads already tagged with sidewalk=both? It just seems to add complexity and mess to the essential map modelling with little gain. I've just re-routed the local circular walk to make use of such though.