The GitLab page is currently the only mention of this Bot in google so
it should be good.

This commit mostly mirrors the listing on Bots on Discord.