Hi All, rather than bluntly use setEnvVal, I would like to first check wether the user has saved something for this envvar in his .cdsenv How should I do that ?