There is something deliciously appropriate about entering Edinburgh’s newly refurbished King’s Theatre, one of the city’s great theatrical survivors, to…