bug#31705: five grep / egrep issues

[Paul Eggert]

No further comment for over a year, so closing the bug report.