shape-doctor.py: a leg's gitlink that no .gitmodules section registers, beside one whose sections register other paths or beside none, is named with its own way out, as #914 names one beside a .gitmodules with no section (#1080) - #1092