Man pages matching name checkrestart in section 1:

checkrestart.1.en

debian 10 / debian-goodies