Thanks thats useful to know. I am using it in a fairly restrictive corporate environment where the Github download links are blocked. Makes updating a difficulty.