More DistZilla doc changes.