Lin-Manuel Miranda's 2017 Oscars Tuxedo Has A Precious Backstory