Man pages matching name int6k in section 1:

int6k.1.en

debian 12 / plc-utils