Fixing docs after version change, updating release procedure document