Colon was how you'd get someone's attention in old chat apps. For example IRC clients that tab-complete nicknames would automatically add it if the input started with the nickname.
Of course, but then it reads like Meta shut down my invasive AI Discover Feed if I didn't realize what the @ meant. Really, the best solution is a comma after Meta instead of a colon, so it's clearly a command at Meta, like you said.
