This is not a merge-blocker, but why not simply: `pdf[0..3]`?