zlacker

That is very interesting, thanks. I will look into a possible migration to Redis, which in any case is so lightweight and simple to run, it seems.