Re: please consider keeping defadvice around

[Po Lu]

Folks, defadvice is merely obsolete -- no proposal to remove it has
hitherto surfaced.

I favor retaining defadvice indefinitely, of course, but the time for
making that decision is still many years in the future.  Let's postpone
it until then: threads like this one uniformly regress into protracted
series of largely frivolous diatribes, whose counter-productivity is an
established uncontested fact.  We've witnessed two this month.  Do we
really need another?