This is for Linux, right? What “settings.json” and “extrapaths” should I have to change in Windows? Thanks