Minor doc fixes after actually using the new release process.