rudeshark.net/.autogen/check_pr.jq