On Sat, 8 Jan 2022 at 00:29, matthew green <m...@eterna.com.au> wrote:
> > I propose that we deprecate or remove the "extsrc/" tree, > > as the name name-complete conflicts with "external/". > > yes, please. > > Count me in as well - the name completion collision has always annoyed me. Thanks, Al