describe ExampleFiles option in node for changes, 1.7
modify the way the DebuggingMode option works

... so that if debuggingMode is false before a package is
loaded, then it remains false during loading, even if the DebuggingMode
option is set to true.