An eye-witness report on the Larry Summers jokes