Redisはデータが消えてもいいなら冗長化はそれほど難しくないイメージだけどmastodonってどうだっけ