man pages source for miscellaneous utilities from /usr/games