Push Notification in Wrong Language

Push notifications are sent in the sender's language, rather than the recipient's language. So somewhere, I guess, the notification needs to be translated using the target user's board language, and not the board's default language or the language of whoever caused the notification to be triggered.