Extend "delete-selects-previous" mail option to cover mark junk/not-junk too