It now appears to basically work, but there are still downloads from github to proxy