bug#38792: man grep

[Paul Eggert]

Discussion on this worthsmithing issue died down in December so I'm taking the 
liberty of closing the bug report. We can reopen it or start a new one as necessary.