You’re right not to trust it, it’s wrongly calling sibling-index() widely available. And that’s the first example I checked.