The production includes changes first incorporated in the 2017 West End staging of the Mel Brooks musical.