The PBS documentary unearthed new facts about Lin-Manuel Miranda, his musical sensation and the man who inspired it all.