Man pages matching name webkdc::webkdcexception in section 3: