redis → MongoDB

This is a fix for #3.