Everyone’s talking about gender identity, gender dysphoria, gender politics. So there was a real risk that a musical about a…