Thank you for help improving devenv. All kinds of contributions are welcome. I'm open to suggestions! Please submit an Issue or even better a PR and I'll review :)