+There are some other options as well; see the documentation
+for \fnref{ioncore.set} for details.
+
+As a next step, in the actual \file{cfg\_ion.lua} file, we load
+\file{cfg\_defaults.lua}. However, it is merely a convenience file for
+doing exactly what we will going through below, and what is commented
+out in the actual file. If you do not want to load what
+\file{cfg\_defaults.lua} loads, just comment out the corresponding
+line, and uncomment the lines for the files that you want: