doc: document src.SourceFile