clarification of job_id uniqueness

[soxofaan]

openeo-api/openapi.yaml

Lines 5267 to 5271 in f303d65

	job_id:
	type: string
	description: >-
	Unique identifier of the batch job, generated by the
	back-end during creation. MUST match the specified pattern.

small question: the uniqueness of a batch job id, is that per user or for the back-end as a whole?

This aspect might become important once sharing across users becomes a topic

[m-mohr]

For the sharing aspect, it was meant to be per back-end. I'll go through the API document later and check all uniqueness constraints and clarify the scope.