Man pages matching name markbddnode in section 3:

markbddnode.3.en

debian 10 / alliance