Hi, Since it's more than one year since we switched to Asciidoc, I think we should remove the docbook folder. Does anyone has anything against it or thinks this is not a good idea? Vlad