- Patch #1482 by djun: we're moving the DocBook output to a contributed module. It's not a core feature.