Add a "downloading" subsection to installing doc.