RenameBotHint

**Warning**: this will update the default bot name for **all users**.
69
Applied
**Attenzione**: questo aggiornerà il nome di default del bot per **tutti gli utenti**.
86/69
Small Monkey, Apr 26 at 10:03