[sr-dev] git:master:3cd50f17: topos_redis: a few improvements for debugging output