Explicit download instructions.

Clarify that Github will download the library as a text and the ext
should be changed.