bug#68018: [PATCH] Fix previous page and next page tooltips in doc-view.el

[Eli Zaretskii]

> From: Po Lu <luangruo@yahoo.com>
> Cc: mardani29@yahoo.es,  68018@debbugs.gnu.org
> Date: Wed, 27 Dec 2023 21:02:18 +0800
> 
> Eli Zaretskii <eliz@gnu.org> writes:
> 
> > Then how about copying last-page.* into prev-page.*, so that we keep
> > both?
> 
> I think there are tasks worthier of our attention than duplicating an
> icon in order to create a copy whose name reflects a marginally
> different meaning from that which the original's does.

You prefer to have to answer questions from surprised people about why
it's "last" and not "prev"?  Fine by me.

> It would spare us a lot of quibbling if we focused on the
> substantive part of this change, namely the two corrections to the
> tooltips, rather than the renaming of an icon.

Aren't those other parts no-brainers?

> But maybe that's just me, and we do want the names of each icon in
> etc/images to be 150% representative of every meaning it might
> carry.

Are we going to argue again about the importance of mnemonic names?