I'm in the process of converting several scripts to use the framework's
generic Bot class (gerrit:137334
<https://gerrit.wikimedia.org/r/137334/>, gerrit:137346
<https://gerrit.wikimedia.org/r/137346/>, gerrit:137354
<https://gerrit.wikimedia.org/r/137354/>, gerrit:138219
<https://gerrit.wikimedia.org/r/138219/>) which provides a useful
.userPut() method.
However, while most implementations in scripts try to catch possible
exceptions (e.g. LockedPage, EditConflict, SpamfilterError), the
'standard' one does not.
Should we add such a thing? Maybe turned off by default?