Mike Knapp
complete
Mike Knapp
This has launched now. You can find the feature in the settings panel. Thanks for the suggestion henrique!
Mike Knapp
Nice idea, Henrique! I assume this is so you can keep the query log?
henrique
Mike Knapp: Yes, the log is a valuable resource for me. Also, since the only current option is to delete the bot itself, the bot's settings and its id key are destroyed as well.