Yes, I’ve tried already that option (code server) and unfortunately I cannot use the “Remote” / “Dev Containers” extension with it. If you know how to do that, please let me know.