code: function getChangedToElement(dirName, isInitial) {
  		var span = document.createElement("span"); //$NON-NLS-0$
  		span.appendChild(document.createTextNode(isInitial ? messages["Initial directory: "] : messages["Changed to: "]));
  		var bold = document.createElement("b"); //$NON-NLS-0$
  		bold.appendChild(document.createTextNode(bidiUtils.enforceSTT(dirName, 'filepath')));
  		span.appendChild(bold);
  		return span;
  	}
docs: /* implementations of built-in file system commands