The audience numbers will be limited, covid measures will be in place, but The Edinburgh International Festival will be back, with proper performances in front of real people in real, not virtual, …