Various minor documentation updates; use repackaged Saxon-B 9.0 lib.