Man pages matching name basictopvf in section 1:

basictopvf.1.en	debian 10 / mgetty-pvftools
basictopvf.1.en	debian 11 / mgetty-pvftools
basictopvf.1.en	debian 12 / mgetty-pvftools