Re: github does not allow crawling the wiki