"""Redis-backed in-app notifications."""