Add some help for Windows usage. Add workaround for Jedi.