Replicant

Hello,
when trying to download the replicant 4.2 sources according to https://redmine.replicant.us/projects/replicant/wiki/ReplicantSourceCode#DownloadingUpdating-the-source-code I launched

vendor/replicant/get-prebuilts

and got the following output:

  % Total    % Received % Xferd  Average Speed   Time    Time     Time  Current
                                 Dload  Upload   Total   Spent    Left  Speed
100 4672k  100 4672k    0     0  1699k      0  0:00:02  0:00:02 --:--:-- 1699k
  % Total    % Received % Xferd  Average Speed   Time    Time     Time  Current
                                 Dload  Upload   Total   Spent    Left  Speed
100   229  100   229    0     0    458      0 --:--:-- --:--:-- --:--:--   459
Archive:  vendor/replicant/prebuilt/common/apps/TerminalEmulator.apk
  End-of-central-directory signature not found.  Either this file is not
  a zipfile, or it constitutes one disk of a multi-part archive.  In the
  latter case the central directory and zipfile comment will be found on
  the last disk(s) of this archive.
unzip:  cannot find zipfile directory in one of vendor/replicant/prebuilt/common/apps/TerminalEmulator.apk or
        vendor/replicant/prebuilt/common/apps/TerminalEmulator.apk.zip, and cannot find vendor/replicant/prebuilt/common/apps/TerminalEmulator.apk.ZIP, period.

and indeed, here is the content of vendor/replicant/prebuilt/common/apps/ directory:

$ ls vendor/replicant/prebuilt/common/apps/
FDroid.apk            TerminalEmulator.apk

Is it possible the wiki is documented for replicant 6 and failed for replicant 4.2?
Do you know what