Man pages matching name clearbddsystemrefext in section 3:

clearbddsystemrefext.3.en

debian 10 / alliance