Re: Does anyone use checknr(1)?

[nia]

On Fri, May 24, 2024 at 10:00:47PM +0200, Roland Illig wrote:
> Does anyone use this tool? Is it worth keeping?

I'm quite surprised to learn that we have a man page
linter that isn't mandoc(1).  I think we all use that instead?