added tinyproxy no-asciidoc patch