WhatsApp has quietly added the ability for users in group chats to tag other participants, so they receive a notification even if they’ve muted the conversation. The feature works on Android and iOS, but not on the desktop app.