“On his way offstage, the president shook hands with Lin and said, "I'm proud of you, man." (In a gesture of self-restraint, Lin had stuck to the performance calendar they had announced before learning that President Obama was coming, the one that said Javier Muñoz would play Hamilton that afternoon.)”