Diff mongo-tools-4.2.17-r1 with a mongo-tools-100.4.1-r1

Thank you!