Hi Luca,

add 1)
I guess there is no difference in the effect of ticking a check box "Don't make copies" on one side (or pushing Done when this option would be default) and clicking the Delete button after finishing a mirror command on the other - both are just one click.

Petr