> GNU grep was written my Mike Haertel, not Haerkal as written in the article. It's a typo, which is odd, because the author could just have copied-and-pasted

> GNU grep was written my Mike Haertel, not Haerkal as written in the article. It's a typo, which is odd, because the author could just have copied-and-pasted it from a terminal session, which they obviously know enough to do. % grep -V <snip> Written by Mike Haertel and others, see <http://git.sv.gnu.org/cgit/grep.git/tree/AUTHORS>.