Developer guide: asciidoctor plugin commented out as it is not needed currently