Man pages matching name mdoctorfat in section 1:

mdoctorfat.1.en

debian 13 / mtools