A film of the original Broadway production of ‘Hamilton,’ taped in 2016, begins streaming on Disney+ on July 3. Miranda, who stars in the title role, says the production is as timely as ever. “When you write a musical that brushes against the origins of this country, it’s always going to be relevant,” he says. “The fights we had at the [country’s] origin are the fights we’re still having.” We also talk about ‘In the Heights’ and being productive (or not) during the pandemic.