Liten detalj från @semafor:s medienyhetsbrev: Larry Summers var vid ett tillfälle med på att leda en podcast för Washington Post för lite drygt ett år sedan, men projektet kom aldrig igång...