12/13   Any particular reason why /usr/man does not exist ?
        \_ looks like all the docs and stuff go in /usr/share, including man