If the PR is merged, then in noplay's repo it'll still want to be `noplay` in the curl command?