Nine years after it made a triumphant debut at New York’s Public Theater and a quick move to Broadway where it became the biggest hit since “The Lion King,” Lin-Manuel Miranda’s biographical musical ...