Useful MongoDB shell extensions