It would have been nice, of course, to see another woman appointed to head up a major theatre. But never mind, it's
