bug#40703: [PATCH] Make autoarg.el obsolete

[Eli Zaretskii]

> From: Lars Ingebrigtsen <larsi@gnus.org>
> Date: Mon, 05 Oct 2020 08:45:37 +0200
> Cc: Stefan Kangas <stefan@marxist.se>, 40703@debbugs.gnu.org
> 
> The keypad bits of autoarg do seem like they could be useful, but that
> it doesn't work, and nobody has complained, seems like a hint that
> nobody wants that, either?

I don't think we should make such decisions based on no one's
complaining: I've heard many times that people don't complain about
problems they bump into for any number of reasons.

I think we should decide whether this functionality is useful, and if
so, try to fix it, if that is feasible.  We should only remove it if
we don't consider this useful or if fixing it is not feasible.