docs: updates to the developers guide#10771

jsquyres merged 2 commits intoopen-mpi:mainopen-mpi/ompi:mainfrom

jsquyres:pr/docs/developer-updatesjsquyres/ompi:pr/docs/developer-updatesCopy head branch name to clipboard