An experiment in Redis JSONification