hope we can continue with more important matters now..
And if you're not within well-tempered, then D# and Eb usually is not even the same pitch.
We can and should continue with a different matter. But please take the point that, even more under the circumstances cited above, I really do consider it important, not just a notational formality.
maybe the next step in composer tools will be some feature for 'real pitch' flat notes