If the TraceSources option is on, then the name of every file read with the 'Source' command will be echoed.