Re: [etoys-dev] Plugin woes on Windows