Mention Redis server for leaderboards; list distributions under which the code was tested.
Mention Redis server for leaderboards; list distributions under which the code was tested.

lisa-lab/pings,lisa-lab/pings,lisa-lab/pings,lisa-lab/pings