Stuff for the 10gen Education 'Mongo for Developers (Python)' course