pedestrian implies there can be exceptions, this is inside a signed pedestrian area so motor_vehicle=yes would be incorrect and override the default. I think there is nothing to do given the sign and the current tagging.