Spotted by Hans at fdroidserver. The 'update sdk' tool will download the package index at each run, so installing one package at a time will be rather inefficient.