This was a bot created by @nostalgebraist.

It operated from October 19, 2019 to May 31, 2023.

For general information about the bot, see this post.