Suggest a correction for Mike O'Hearn

Tell us what is wrong or out of date on the page about Mike O'Hearn: a description, a link, a collection.