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