Does anyone know if hdf5 would be an acceptable optional replacement for the current Redis disk format? I have a console app that's backed by Redis (in much th

Does anyone know if hdf5 would be an acceptable optional replacement for the current Redis disk format? I have a console app that's backed by Redis (in much the same manner as described in this post), but I save my sessions to h5 when I switch between datasets. That means I need to combine the Redis data with my app data and export -- I do this using two separate h5 files, with with the appropriate links. It would be nice (for me anyway) if I could do a Redis-native save, and move the resulting file. That would also improve my startup times when I reverse the process. But, while h5 is nice for My data, I can't say it would be any good for generic Redis data... thoughts?