Eli Zaretskii <eliz@gnu.org> writes:

>> Makes sense to me.  Any objections to the below patch?
>
> I don't object, although I do wonder what could be the point of
> renaming commands which were known under these names for the last
> 28(!) years.  Given their age, perhaps consider not obsoleting the old
> names: who knows whether someone out there has these names burned into
> their muscle memory?

Makes sense to me; I've attached an updated patch here.  If there are
no objections, I intend to push it within a couple of days.

Best regards,
Stefan Kangas