Per https://phabricator.wikimedia.org/T231590#5564599 we want to have count types be consistent with the filter types on history.
So, we need to make bot be a synonym for botedits and then deprecate botedits.
- perform coding change
- update docs at https://www.mediawiki.org/wiki/API:REST/History_API#Get_page_history_counts