Update the developer documentation with the changes to the release