Would be nice if it were easy to have the extension target `code-insiders` as an option rather than `code`.