committee.md

@@ -3,7 +3,7 @@
 ## Editors
 
 - Isaac Jones (co-editor)
-- John Launchbury (co-editor) \<john at galois.com\>
+- John Launchbury (co-editor)
 
 ## Committee