Clarify size

diff --git a/github.html b/github.html
index b0d77cdcd2011bda9ec3dfe621747c1ef24e22b7..85c473a88c4308995858e153beb8468280fadf7c 100644 (file)
--- a/github.html
+++ b/github.html
@@ -15,7 +15,7 @@ for x in {0..100}; do \
   wget "http://za3k.com/github/repos-$((x*10000))-$(((x+1)*10000)).json.gz"; \
 done
     </pre>
-    These files are around 10G compressed, 100G uncompressed. Files are grouped by github's internal id; since some repositories are deleted or privated, each file contains less than 10,000 repositories.
+    The combined size of these files is 10G compressed, 100G uncompressed. Files are grouped by github's internal id; since some repositories are deleted or privated, each file contains less than 10,000 repositories.
 </li>
        <li>You can grab greatly abbreviated metadata (recommended) as <a href="https://za3k.com/github/repos.json">JSON</a>. This includes the repository name and URL, a short description, whether it is a fork (and what of), and the approximate size of the repository.</li>
        <li>Finally, you can get a txt file of just the repo names: <a href="https://za3k.com/github/repos.txt">txt</a>.</li>