Man pages matching name sertop in section 1:

sertop.1.en

debian 13 / coq-serapi