Merge branch 'barry/2023-02-15/refactor-doc-subdirectories' into 'main'Remove confusing and un-need docs directory that contains manualSee merge request petsc/petsc!6078
Remove confusing and un-need docs directory that contains manualCommit-type: housekeeping