Learn more about these different git repos.
Other Git URLs
This drops one redundant requirement and makes it so that default installs should only need disks 1,2 and 3 rather than 1,2,3, and 4.
Tagged
Login to comment on this ticket.