Ich habe den separaten Bürgersteig in der Kleinen Brüdergasse und angrenzend am Taschenberg entfernt.   Die Tags habe ich auf die "normale" Straße übertragen (https://www.openstreetmap.org/changeset/139262816).