PetPlugin: do not repeat about-to-die notifications.