In addition to the previous patch, it also makes sense to add similar
options to grep: