We call both the permission `desktop-notification-resend` and the event itself `desktop-notification-resend`, which is a little confusing to me. Do we do use this convention with other notification events?