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