[no-name-here]

> … use Code Server in a docker container …

I'm guessing you're referring to https://coder.com/docs/code-server ?

[rrvsh]

most likely - used this for 6 months before dropping vs code and loved it if you don't mind using the browser