Just an idle thought, regarding which I couldn't see any other mention here or on Github -- it would be nice to see what the total size of a game's download would be, on the downloads page. There's "Current Speed" and "Estimated time remaining" so I suppose I could do the math, but just for convenience's sake...