Minor edit (Kevlin -> Kevlin Henney) and an update about Kevlin\'s talk.