On Tue, Aug 01, 2017 at 03:25:24PM +0200, Frank Mittelbach wrote:
> Am 31.07.17 um 16:45 schrieb Will Robertson:
>> In fact, requiring a change to the filename is no longer written
>> explicitly into the LPPL. (Long story, don’t ever ask Frank how many
>> emails it involved.)
> but you didn't listen carefully, did you? :-)
> so let me repeat my usual sermon on that matter ...
> So no, it is not recommended at all (at least not by me) even though it
> is within the limits of the license.
Hence Will is correct in stating that the LPPL does not require
changing the filename, right? The “most important thing” in his words
(“lowest common denominator” in yours), is that the new file identify
itself as a modified version. The recommendation that follows is a