Look at those grins! Lin-Manuel Miranda is justly proud of his former In the Heights co-star Robin De Jesus.