RenameBotHint

**Warning**: this will update the default bot name for **all users**.
69
Applied
**Avertissement** : ceci mettra à jour le nom par défaut du bot pour **tous les utilisateurs**.
95/69
Etienne, Apr 11 at 16:25