I hadn't heard of this! Thank you! My VSCode experience is primarily "VSCode" (not Codium) w/ the MS Remote extensions and looking at code-server for its more

I hadn't heard of this! Thank you! My VSCode experience is primarily "VSCode" (not Codium) w/ the MS Remote extensions and looking at code-server for its more unique capabilities. Definitely going to look into this and adopt it where I can. FYI, it looks like the code-server devs have some concerns about # of extensions and matching the MS market: https://github.com/cdr/code-server/issues/1473 https://github.com/cdr/code-server/issues/1473 . I'm not too worried about that for myself though.