<xref> and <ref> were combined to a single <ref>,
losing the distinction between internal and externals
references. <ref>'s @target attribute is always
a W3C pointer (ie '#intro' or 'http://www.example.org/foo')
Hope that makes sense.
Information Manager, Oxford University Computing Services
13 Banbury Road, Oxford OX2 6NN. Phone +44 1865 283431