I agree in the principle.

But, first, in the case in question, we do have a way to realize Amaj7/Eb by Amaj7/D# which sounds the same.
Second, we must admit that the occurence of Amaj7/Eb chord is very low.
So, I understand some people saying there are other more 'useful' things to implement before. The wishlist has hundreds and hundreds of requests waiting for an implementation.

Just to balance the pro and con.


Reach for excellence