On Thursday, 8 February 2018 at 17:05:32 UTC, Atila Neves wrote: > This new release fixes bugs and speeds up opening files by > using `--nodeps --skip-registry=all` if the dependent packages > have already been downloaded. Thanks!