Make some private bots optional
mgwalker opened this issue · comments
It would be nice if users could turn off Happy Tock and Tiny Tau Bot, for example.
🙇♀️
Closed by #271. You can now opt out of Baby Tock by clicking the little dots thingy, hopefully.