Stefan Monnier <monnier@iro.umontreal.ca> writes:

>>> Seems to be working now (haven't tried before my recent changes, tho).
>> By now, if you mean 111134, the unhighlighting is not working as
>> expected.
>
> Can you give a recipe, because "it works for me",

How about a screenshot? This is one of the brokenness.

Recipe-1:

    Couple of C-x w h, followed by C-x w r.  Note the cursor position
    and the choice offered.  See screenshot.  Why is there no default
    offered and why even absurd candidates are offered?

Recipe-2:

    Turn off font-lock-mode.

    Couple of C-x w h and then try C-x w r, C-u C-x w r, try from menu.