Linux man-pages is a comprehensive collection of manual pages documenting Linux kernel interfaces,...