[PULL 05/23] scripts/archive-source: use a bash array