More progress on GARLI disconnections.
Merge remote-tracking branch 'origin/disconnectability1' into disconnectability1
More changes in separating parts of GarliRunner