This is also a considerable problem for me. My bot operates with a relatively slow edit rate (once every few hours) and it's hitting the badtoken exception on every edit. I can work around it with a wrapper to check for a badtoken error and retry the edit, but it's silly that the application should have to implement that.