I would be much less concerned if changing the name in File properties would have done nothing, but crashing the app (even though it probably will not happen often) is annoying to the user.
I would be much less concerned if changing the name in File properties would have done nothing, but crashing the app (even though it probably will not happen often) is annoying to the user.