The presence of these non-namespaced man pages cause lots of spurious links in other man pages and the user's manual (especially 'size'). Do these man pages actually benefit anyone? It seems to me that their content could just be merged into comm/MPI_Comm.
Jed
