Man pages matching name el_wpush in section 3:

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