Since it's more than one year since we switched to Asciidoc, I think we should remove the docbook folder.