See also: * https://github.com/community/community/discussions/5104#discussioncomment-2217052 * https://docs.github.com/en/codespaces/developing-in-codespaces/default-environment-variables-for-your-codespace#list-of-default-environment-variables