> Thanks very much for your review. What you point out above is certainly > true, but > then it is consistent with the current behaviour when searching for the > beginning-of-line ('^') anchor and the point at the beginning of a > non-empty line. In that case, the point does not move.
This sounds like a convincing argument for my first version to me, so I have committed that. Thanks a lot to both of you.