When I tried to run the leaderboard demo, I noticed that `sharedb-mingo-memory` is required in server/index.js, but is not in `package.json`.