On Sun, Apr 20, 2025 at 8:54 PM Ingo Schwarze <schwa...@usta.de> wrote: > So just deleting it would still be the best option even now.
A better option is deprecating it (http://savannah.gnu.org/bugs/?64772). It could emit a warning that it's unmaintained. But, unlike deletion, this would allow users who find it useful (and there were more than one even before this thread; see the preceding URL) to continue to be able to use it, and it would retain the test coverage also cited in that ticket.