This commit adds a Mentioned field to Message, which indicates whether the receiving user is mentioned in the message.