The pandemic was, of course, a disaster for theatres and those involved in the performance arts. But it is striking…