Developer guide: asciidoctor plugin commented out

it is not needed currently