Killing time before @lphchld logs in to play Portal2.