See below for IRC logs.