+ Whether the source document itself has previously been renamed according to "mapping"
+ or not. In other words, whether the URI of the source document is to be compared with
+ the href
rather than the original-href
attributes of the
+ "mapping" document. By default it is assumed that the renaming is done after this
+ step.
+
+