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.