See #1271. @vdukhovni [believes](https://github.com/jqlang/jq/issues/1271#issuecomment-1627791117) we should remove it, and explains [why](https://github.com/jqlang/jq/issues/1271#issuecomment-945051603) in the comments.