developer doc nit: bumping the version number belongs in 'After the Release'