I thought my comment was pretty comprehensive on the technique. Is there something that was unclear? I can clarify.

I’ve used this technique a few times over the decades in non-editor applications with large sorted vectors.

Not only was it clear but it's the approach that popped into my head immediately while reading the article.

Your explanation was just fine. I was simply asking what else you knew about the technique. Perhaps where you first heard of it or some examples where it has been applied/benchmarked.