bug#24025: grep usage question

[Paul Eggert]

No further comment and it has been a couple of months, so closing the bug 
report.