IRC logs: Added 2013-10-17 meeting notes.