We have now groups:
- Groups can be mentioned like users by typing
- All users in the mentioned group will be notified.
- Users can be part of arbitrarily many groups.
- Everyone can join/leave every public group.
If you feel that a group is missing, please reply to this post and we can create it .