checkFile
was previously true, but it's now false because of the possibly severe performance penalty of including modification date for a cached request, if it's just going to use the cache anyway.
public SymNode loadSym(Url url, bool lazy=true, bool cache=true, bool checkFile=false) {