Subject: Friendly ping

From: Brian Leung <[email-masked]>
Date: Thu, 28 Feb 2019 02:43:08 +0100

I suspect this may have been mistaken for a duplicate since I submitted a
recipe for a similar package recently. To be clear, this is a different
package; that other one is also for `isearch`, but provides slightly
different functionality from this package.