Filtering JSON Arrays: jq, JavaScript, and Python