Merge branch 'stefanozampini/useless-cast' into 'main'Remove useless castSee merge request petsc/petsc!7894
Brain dead fixes for useless casts
Merge branch 'barry/2023-11-06/doc-cleanup-man-page-processing' into 'main'Move doc/classic materials to doc/manualpagesSee merge request petsc/petsc!7000
Organize the Mat coloring, partitioning, coarsening, and ordering in a common directoryunder the SUBMANSEC of MatGraphOperations instead of MatOrderingsCommit-type: housekeeping