@girish
Thanks for your extremely quick and helpful answer!
It worked!
Side note: I have been using cloudron for about 2 years now, and I am a happy paying customer.
The fact that it is the first question I had to ask so far is a testament to the quality of your work and documentation. Congratulations to the team!