Mike Knapp
marked this post as
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.