Re: Don't complain about changed file when it hasn't changed

[Stefan Monnier]

>> So if you want to "update the doc" here, we'd have to actually state
>> what the standard definition does (we currently don't do actually that).

> ... indeed we should state that, because otherwise a naïve user will
> not understand how come she lost this nice feature by just replacing a
> function that is supposed to ask a question and be done.

OK, I can do that.

Of course, this begs another question: should the new test be in
ask-user-about-supersession-threat or in its caller?  I placed it in
ask-user-about-supersession-threat for no very good reason (tho I don't
see any strong reasons to move it to the caller either).


        Stefan