Use mongodb from S3 for the moment, since GitHub blobs are malfunctioning sometimes.