Issue:Mentions of other users

Priority 2 Created 2023-02-11 Resolved 2023-02-12

1. It should not be possible to search for users that did not opt in.
2. Mentioned of users that did not opt in should not be shown in the posts.

2023-02-11 issue 1 can be resolved with a query before filtering for all queries of the format @+*. It still could be possible to find by the word without the @.
issue 2 can be resolved either by a query before displaying (expensive) or a global removal of all mentions (@-@-). At what stage remove? The surer would be to remove it beforehand.

2023-02-12 Mentions are now removed before the post is displayed.