[blakesterz]

Rochester MN has a mini version too:

https://www.experiencerochestermn.com/planning-tools/getting...

[itishappy]

University of Rochester in Rochester NY has one too!

https://admissions.rochester.edu/blog/navigating-the-tunnels...

[lbourdages]

Laval University (in Quebec City) also has one.

https://www.ssp.ulaval.ca/wp-content/uploads/2022/10/plan-pi...

Tunnels are dotted green lines.