Eli Zaretskii <eliz@gnu.org> writes:
> > > Thanks, it does.  I think we indeed should move this package into
> > > obsolete/.
> >
> > Does this patch do the job?
>
> Works for me, but I'm not sure we have the procedure for obsoleting a
> package documented anywhere, so maybe something else needs to be
> done.  Anyone?

I had a look at this:
https://git.savannah.gnu.org/gitweb/?p=emacs.git;a=commit;h=ef65424de8cae00209f6a0974245822602709df3

And did some improvements, see attached patch.

Thanks,
Stefan Kangas