Hi Thibaut, as title says. I think we even talked about this in the past, but forgot about it... I might get to it, but it will take some time. I see console screaming GuiViewSource.cpp (345): Can't find format for backend docbook5! Pavel