On 15 Nov 2020, August Abolins said the following...
 
 AA> I don't see a mute user option.  Are you using a special bot  
 AA> to manage a group or users?


Don't remember if I mentioned it in my message from the TG side a few minutes
ago but I am currently using the Miss Rose bot in my BBS group.

https://missrose.org/guide/

                                                 -=>Richard Miles<=-
                                                -=>Captain Obvious<=-
                                              -=>bbs.shadowscope.com<=-

--- Mystic BBS v1.12 A46 2020/08/26 (Windows/32)