Man pages matching name icebox_vlog in section 1:

icebox_vlog.1.en	debian 10 / fpga-icestorm
icebox_vlog.1.en	debian 11 / fpga-icestorm
icebox_vlog.1.en	debian 12 / fpga-icestorm