formatted man pages for miscellaneous utilities from /usr/games