@matrix@FBI@termix07012 the users @'d in a post aren't necessarily the ones who the post mentions - the choice to make those groups the same is one of the frontend.
If I used the API I could leave off all the @matrix and still mention you for example - and the opposite is also true
what alt?