On Sun, 16 Feb 2020, Jack Hill wrote:
I have opened a bug report upstream: https://jira.mongodb.org/browse/TOOLS-2482
Upstream reports, "MongoDB 3.4 is now EOL so it is no longer supported. For MongoDB Tools specifically, we're only making critical fixes to versions <4.2." Therefore, it seems like the thing to do is to work on updating our mongo-tools package.
Best, Jack
