User documentation changes on Saxon-CE 2.0 branch