On 2026-07-08 20:36, Borden via Bug reports for GNU grep wrote:
If the grep man page's corpulence is so worrisome, is it a worthwhile exercise to have someone like me read through it to find what can be moved/removed/consolidated? I promise to use American English.
Might be helpful. I wouldn't make it a big project, though.
