Settings for a clustered Azure docker deployment

Hi all,

I am trying to deploy Survey Solutions on Microsoft Azure App Service using Docker image (22.2.7.32498). My App Service is zone redundant, which means that I have Survey Solutions server running on 3 different instances. Basically I am trying to reproduce a design similar to what is described here. In particular, as per instruction, I have to set the following configuration settings:

[Scheduler]
InstanceId=AUTO
IsClustered=true

How can I do this in App Service? What is the exact syntax? I have used the following assignments in App Service, but I am not sure it is correct:

Scheduler__InstanceId=AUTO

and

Scheduler__IsClustered=true

Finally, are there other settings I should set?