Related to this request: it would also be nice to have, instead of an "External Interpreter" option,
several interpreter options. The user would then be able to add interpreters to the list.

Right now, if I want to switch between interpreters, I have to change the description of the external
interpreter over and over (as far as I can see -- tell me if I'm wrong!)