Fix GitHub API fetcher, needs User Agent string
Add <!-- more --> to the ptrace post