Subject: bug#21716: 25.0.50; highlight-regexp gets confused when the highlighted text is pasted

From: Dima Kogan <[email-masked]>
Date: Wed, 26 May 2021 16:02:48 -0700

Yeah, it appears to work now. Thanks much for going through the old
reports.