settings section for plus cards that end with card name+discussion

that's in the set dropdown on the options view (seen by clicking advanced or rules on the new menu). I think it ought to be moved to the menu, but I'm closing this because the idea is clearly represented and will be maintained.

(it's in the menu now)