Man pages matching name el_push in section 3:

el_push.3.en	debian 10 / libedit-dev
el_push.3.en	debian 11 / libedit-dev
el_push.3.en	debian 12 / libedit-dev