Our bot, Arnie, is mostly working, so today we started converting it to use the Redis crypto store that we implemented last year.

By the end, it was mostly working!