Probably. Also, even for the repo, it doesnt take much effort to be a good internet citizen and use tinypng for png and jpg images to save a little bandwidth f

Probably. Also, even for the repo, it doesnt take much effort to be a good internet citizen and use tinypng for png and jpg images to save a little bandwidth for everyone.