Eli Zaretskii <eliz@gnu.org> writes:

> > BTW, a relevant question is: Is `compare-buffer-substring' faster than
> > `buffer-substring'+`string<'?
>
> Hard to say.  Measuring is the easiest way to answer that.

Here is a first try.  The speed difference is negligible here.