Updated the release document after actually doing a release (!).