286ec6afb3
The ignore_other_user_mentions gate relied solely on is_mentioned, which only recognises exact <@UID> markup, so a message mentioning the bot in pipe form (<@UID|name>) alongside a leading other-user mention was wrongly suppressed. The gate now also scans for the bot's own mention in either markup before ignoring a message. Claude-Session: https://claude.ai/code/session_01TKsNdptNdo9CqT2u7JMdkH