It would make sense to also have `--extensions-dir` and `--user-data-dir` flags, since both of those are available on code-server. https://github.com/codercom/code-server/blob/5f40ebb8457380aa1e9955302d9e41a6b042ef14/packages/server/src/cli.ts#L23-L24
It would make sense to also have
--extensions-dirand--user-data-dirflags, since both of those are available on code-server.https://github.com/codercom/code-server/blob/5f40ebb8457380aa1e9955302d9e41a6b042ef14/packages/server/src/cli.ts#L23-L24