Oh I knew about that one, I was just excited to see cross-dressing historical musical theatre. What's weird is the one you mentioned isn't just a musical of the original Japanese version, Gyakuten Saiban, but specifically of Phoenix Wright, with all the silly American character names. Seeing our additions to their pop culture re-acknowledged just makes me smile.
In case you were interested there's an English Broadway version too which was pretty much one of the biggest flops in Broadway History. I'll put it in the hopper if I can't find it on here already.
Amazing. Instead of re-translating mainstream anime and manga over and over ad nauseam because the official versions used the wrong font or whatever, anime nerds should be using their time to subtitle stuff like this.