> I propose that we deprecate or remove the "extsrc/" tree, > as the name name-complete conflicts with "external/". yes, please.