Some followup questions in case this is a welcome change: 0. Does the user option's :version need to be bumped? 1. Does this change need to be called out in etc/NEWS? 2. I stuck with the 'shell' custom group as it's in the name of the user option, is used by all other shell-related user options in simple.el, and is I think where users were most likely to find the user option until now. Is that okay? Thanks, -- Basil