Comment on Figure out how to specify redis version