RenameBotHint

**Warning**: this will update the default bot name for **all users**.
69
Applied
**Warning**: this will update the default bot name for **all users**.
69/69
Fair Dog, Apr 11 at 15:43