Another problem vith this solution: this time the bot stopped after reverting another bot's edit. The other bot is also mine and it has a similar but longer name, so its name contains the name of the first bot. -- Bináris