On 16/01/2014, Dirk Kirsten dk@basex.org wrote:
We can't control this, this is done by your browser. Quite likely it handles the <title /> node the same it would normally handle the <title /> node within an HTML head element.
OK, thanks; will test in another browser.