Hi Branden, G. Branden Robinson wrote on Tue, Nov 13, 2018 at 12:12:25PM -0500:
> Let me ask you this: do you propose that we eliminate Options > sections from all groff man pages? Yes, as time permits. It may not be the top priority, people may find other aspects that they want to work on more urgently. But at least let's refrain from adding new ones. Yours, Ingo
