Apologies –
when generating the manpages, due to my copy/paste error, we clobbered mongoimport with mongoldap and mongorestore with mongoreplay.

We've regenerated the manpages

• 4.2 can be found: docs.mongodb.com/master/manpages.tar.gz
• 4.0 can be found: docs.mongodb.com/v4.0/manpages.tar.gz