The current `man` implementation is pretty crude, and I'd love to replace it with something better. Any improved version would ideally also support `man -k name...`, but this can possibly be done with the current one as well.
The current
manimplementation is pretty crude, and I'd love to replace it with something better.Any improved version would ideally also support
man -k name..., but this can possibly be done with the current one as well.