I wrote:
> I'll look into an actual fix tomorrow.
I've pushed a fix for this. I concluded that there's no real reason
to touch branches before 10: the index_markpos call is useless in the
case in question, but it doesn't do any more than waste some cycles.
regards, tom lane