FA1.2 nonconformancy in transfer when to = from

The transfer entrypoint, when called with from = to, is a NOOP. However, as discussed here:

I propose to update FA1.2 to clearly state that allowance should be consumed [when from=to] to remove ambiguity.

That is, if I do a transfer with from = to, even though no balances will change, the sender's allowance at from should be decreased.