Say I'm installing Redis.
Where should I download the Redis files to?
I'm guessing that doing it in my home directory isn't a good idea, just because it'll get messy with downloaded files over time.
So, where is the canonical place to download and make such files?
Download instructions never seem to say!