r7113: Move manpages from docs repository to source repository