Actually while discussing this idea with Pathoschild something interesting came
about. Why not prod the issue a bit further. The code could add a "bot"
(variable - so that it can be translated to the local language) to the bots
Current history line (from fr.wiki)
16:56, 2 September 2007 Ordinateur (Talk | contribs) m (43 bytes) (Robot :
répare double redirection) (undo)
how it would be:
16:56, 2 September 2007 ([[link to what a wikipedia bot is|Robot]]) Ordinateur
(Talk | contribs) bm (43 bytes) (Robot : répare double redirection) (undo)
One or two Mediawiki namespace pages can deal with this.
I was told to propose this separately on bug #11162 (comment 3)
T18228: filter history of edits on bots (hidebots=1)