Man pages matching name kmines in section 6:

kmines.6.en

debian 10 / kmines