Bind Ctrl-R to refresh when using server-assisted highlighting.