Subject: Re: bug#40725: 27.0.91; Tutorial reports false positive key rebindings

From: Mattias Engdegård <[email-masked]>
Date: Fri, 24 Apr 2020 13:35:52 +0200

24 apr. 2020 kl. 13.21 skrev Eli Zaretskii <[email-masked]>:

> Like I said: I would prefer not to rename files at all, if we can
> solve the mode issue in some other way.

I agree, let's not rename files without a good reason. Here we have multiple good reasons.
The file names cause more inconvenience than just the mode problem. Git handles renames gracefully.