Update devenv.rst