Removing remaining documentation of the XML plugin.
Fixing bug #3605.