bug#34911: 26.1; doc about lock file names

[Eli Zaretskii]

> Date: Tue, 19 Mar 2019 13:15:00 -0700 (PDT)
> From: Drew Adams <drew.adams@oracle.com>
> Cc: 34911@debbugs.gnu.org
> 
> > Then maybe we need to change the default value, but that's a separate
> > issue.  AFAIU, the bug report was about documentation.
> 
> Yes, improving the default value is welcome (and needed).
> But currently it is unchanged.  As a result there is a
> doc bug because what the doc says about the default value
> is incorrect.

No, I don't see that it does.  At most, it says something that is not
100% accurate, in some rare cases.

> > > Does this clarify what I meant by "the default value only
> > > approximately matches auto-save files (and lock files?)"?
> > 
> > Yes, but I don't necessarily see that as a problem.
> 
> Why not?

Because the issues sound mostly theoretical to me.