Man pages matching name coap_websockets in section 3:

coap_websockets.3.en

debian 13 / libcoap3t64