First of all, this package is great and very useful!
My collaborator is behind a firewall, and I will recommend him to use juliawin.
I wanted to ask which URL's the thin installer accesses? Only GitHub files or also external URLs?
(Depending on that I would recommend my collaborator the full or thin installer).
PS: This is not really an issue. But I didn't know where to ask.