Superalgos
Hi! I am the bot checking all PRs and merging the ones I believe can be auto-merged.
Others building in the same ecosystem.
