Delete 2014-5-13-linux-grep.md