On Wed, 19 Aug 2020 at 13:49, Stefan Kangas <stefan@marxist.se> wrote:

This patch adds the possibility to run man asynchronously. I'm not sure
it's worth the added complexity. Any other opinions?

I re-read this bug, and I agree: as I said before, I don't think it's worth the extra complexity.