Do you remember when Lin-Manuel Miranda (and any other of these other actors) were on How I Met Your Mother? For many ...