I can't find any information about what the default JSONNET_PATH is. This is a request to update the documentation