Each repo costs a dozen small git processes; running them eight repos at a time takes repos from about 2.9s to 0.75s. Rows now sort by folder name.