bug#8399: 23.3; save-some-buffers ignores buffer names

[Eli Zaretskii]

> From: Lars Ingebrigtsen <larsi@gnus.org>
> Date: Tue, 25 Aug 2020 15:29:03 +0200
> Cc: Uday S Reddy <u.s.reddy@cs.bham.ac.uk>, 8399@debbugs.gnu.org
> 
> Isn't it more useful to know what files you're saving to, and not
> what buffers they're coming from?

In the usual case, i.e. where the file name is not something invented
by a VM or somesuch, I think the file name is more useful, yes.  Or at
least it could be.  So maybe we should offer this as an optional
feature, as I presume the OP's use case is somewhat rare?