It was certain Lin-Manuel Miranda would sing on the show.