Update devel-env.rst