Documentation updates (post-release)
Merge branch 'develop'; post-release documentation updates.