This was suggested by a colleague, the environment variables by themselves cannot just be copy-pasted to the shell without `export`.

It also seems harmless for those who don't need an export: then can always remove it.