Updating: very very minorly

Author: githwxi

DOWNLOADS/README.md

@@ -6,4 +6,8 @@ ATS3 as well as contributing to its development.
 ## XATSHOME
 
 [XATSHOME](https://github.com/githwxi/XATSHOME) is a public repository
-located at `github.com`.
+located at `github.com`. By git-cloning this repository, one can
+readily have access to XATS2JS (for compiling ATS3 to JS) and XATS2PY
+(for compiling ATS3 to PY). One can also find a variety of examples in
+the repository, demonstrating (with documentation) ways of writing
+programs in ATS3 and compiling them.