Meta: drop unnecessary name in `dim-bots`
Meta: drop unnecessary name in `dim-bots`

https://github.com/refined-github/refined-github/pull/5192/files#r828096329
sindresorhus/refined-github,sindresorhus/refined-github