The MongoDB repo wiki still has a page on building tools: https://github.com/mongodb/mongo/wiki/Build-Tools-From-Source

This should be removed and references to it deleted or redirected to a document in the tools repo about building.