Documentation updates (post-release)
Merge branch 'develop'; more post-release documention updates