Man pages matching name mongofiles in section 1:

mongofiles.1.en

debian 10 / mongo-tools