Man pages matching name z-push-top in section 1:

z-push-top.1.en

debian 10 / z-push-common