Quoting the first paragraph of https://wiki.openstreetmap.org/wiki/Tag:highway%3Dpedestrian :

"A highway=pedestrian is a road or area designated mainly or exclusively for pedestrians. Often found in shopping areas, town centres, places with tourism attractions and recreation/civic areas, where wide expanses of hard surface are provided for pedestrians to walk. [...] Vehicle traffic is generally restricted, with possible exceptions for taxi and delivery services. Cyclists may or may not be permitted, as can be specified by bicycle=*. "

All of this applies to the ways I've changed here. Pedestrians are the primary road users, by design and in practice. Bicycles are allowed and there's a fair amount of them, hence bicycle=yes, but due to the amount of pedestrians to be navigated around, it's not really an MUP that would be used for exercise or commuting (hence why I retagged the part south of the bridge that was previously a cycleway). Motor vehicles are limited to maintenance vehicles.

Some of the other paths on the island could arguably be changed to pedestrian too (e.g. Lakeshore Avenue close to the pier), but this one is particularly clear example.

BTW I saw that two different capitalizations were used for Avenue of the Islands and JOSM warned me about them, but I don't know which one is right so I didn't change that.