If text filters are in use, it's easy to have two differing files show
the "files are identical" notification. With this change, that
notification also mentions whether filters are in use, and allows the
user to disable them temporarily, in order to see the actual
differences.