I think you are right. The /MIR option says that /MIR is equivalent to /E and /PURGE, and /PURGE is supposed to "delete dest files/dirs that no longer exist in source". I have no idea why it isn't ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results