Make doc/man7/ and doc/internal/man3/ conform with man-pages(7)