Fair enough. When I first read your original comment, I thought that you were being unnecessarily pedantic. I imagined that by using "partitioning" most people

Fair enough. When I first read your original comment, I thought that you were being unnecessarily pedantic. I imagined that by using "partitioning" most people would probably know what I was talking about, but I've been working with MongoDB for a long time, so I probably have some cognitive bias here. "Sharding" is the more specific/better term, but I'd still say that although more general and possibly ambiguous, partitioning is still roughly correct.