Yeah we should update that section to say you can use {{port}}
and {{host}}. If you do not include {{port}} then code-server
prepends it for you. So --domain-proxy example.com will become
{{port}}.example.com.

#6353 (comment)