Revise release documentation
#2016

toolness wants to merge release-docs-fixes into develop

We do not currently have an analysis of these two commits