I wanted to survey last week but it was closed.
Contrary to other buildings—e.g. Ravenstein gallery, which is a useful shortcut for pedestrian navigation—having indoor paths here would bring very little benefit to the map.
Should we still keep this note open?