The botadmin group has delete and undelete rights, but not deleterevision right. This was not necessary because Pywikibot did not support it anyway.
In T276726 I have added this capability to pywikibot. We have planned a use case for it on fawiki. Therefore, we need this right to be given to our botadmin group.