Is that John Hodgman with Lin? Was just listening this week to the “Room Where It’s Happening” podcast with John, who expressed that he feels like his love of Hamilton might annoy Lin. And that also Lin shouldn’t waste his time talking to him when he could be talking to other people. So there’s a lot of subtext in…