Is devens something else than nix shell?