[dec4] Redis installation gets its own page