devenv: Deleted.