Revision c18915c347ff90a394f61b44c009944424b56207

Committed on 08/06/2020 8:23 pm by Ashish Kulkarni <ashish@kulkarni.dev> [GitHub Diff]

update the download FAQ

This should provide more details on why some decisions were made,
and point more people to the packaging repository instead of the
main repository for installation issues.