It sounds like a prank — a tent pitched under the Great Dome in the middle of the Barker Library Reading Room. But this tent was all library business, erected to provide the Institute community access to materials critical for teaching and research. Last August, after MIT Distinctive Collections was displaced from Building 14 to Barker Library due to the Hayden Library renovation, they set up work spaces along the perimeter of the Great Dome to allow staff to adequately social distance — all except for one large copy stand,…