Tweak asciidoc markup; attempting to get a link to work at github