I think it would be quite nice to have this preference split into two. I don’t want technicians editing my scripts, but I would like them to be able to use the terminal, if possible.