man page enhancementsÃ