Update conclusion for jrep vs grep article.