Oops, I did a search for ‘predefined’ that did give this section as a result, as I mentioned, but since this section is mostly about command-line switches and batch files, I assumed, as I believe most people would, that it didn’t refer to changing the options in the GUI of the program. I...