RenameBotHint

**Warning**: this will update the default bot name for **all users**.
69
Applied
**אזהרה**: זה יעדכן את שך הבוט **לכל המשתמשים**.
48/69
Yedidya Laufer, Apr 17 at 16:40