The only reasonable approach seems to be editing the JSON file and making this change reproducible with patch-package. I documented the approach here, for anyone who has a similar requirement.
The only reasonable approach seems to be editing the JSON file and making this change reproducible with patch-package. I documented the approach here, for anyone who has a similar requirement.