On 22-07-19 14:00 , Eli Zaretskii wrote:
> We could indeed keep using MODIFIED != UNCHANGED_MODIFIED

Agree.