Theatre history isn’t what it used to be.