renamed doc file to have extension to cause github to render as asciidoc