> I also shamelessly asked Andrew if he can provide a mongodb40-tools port 8-} The first attempt to port mongodb40-tools, I have failed. It looks like there will be difficulties with dependencies. As soon as there is a bit of free time, I will try to fix this port.