Don't mention the packaged-download area, as it's very out-of-date at
the moment.