https://www.openstreetmap.org/way/263159511/history

bicycle=no looks wrong here.  Bikes are generally allowed on the campus except in designated (signed) dismount zones and there's nothing special about this particular path.