I can't find the rationale for disallowing users in the "bot" user group to receive thanks from the Thanks MediaWiki extension. I have found lots of bugs caused by that decision, tho.
Is there a task outlining why this decision was made? We're now in a somewhat weird spot where bot accounts that aren't in the user group have received hundreds of thanks (e.g., https://en.wikipedia.org/w/index.php?title=Special:Log&offset=&limit=500&type=thanks&user=&page=User%3AXLinkBot&wpdate=&tagfilter=), while my properly grouped and hardworking bots can't receive a single thanks? That feels pretty weird.