doc/user: enable docbook-xslt option "use.id.as.filename"