Man pages matching name reorderbddsystemtop in section 3:

reorderbddsystemtop.3.en

debian 10 / alliance