Man pages matching name fstpush in section 1:

fstpush.1.en	debian 10 / libfst-tools
fstpush.1.en	debian 12 / libfst-tools