I don't work on code-server but @asher @jsjoeio might be able to answer