Extensions to standard library `grep.el'