re: Proposal: Deprecate (or rename) extsrc/

[matthew green]

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

yes, please.


.mrg.