E' un formato alternativo a .hlp
Sarebbe quello con l'icona ? giallo.

Cerca nel tuo HD che sicuramente ne hai.