Man pages matching name mdk4 in section 2:

mdk4.2.en

debian 12 / mdk4