Remove a stale comment. We don't pull the file from github anymore.