> I personally do not use the file editors, But i can see some people would > like to, I recon it should be able to edit any file in the plugins folder > myself. Yes, I'll put in a patch/ticket and see what the devs think.