Man pages matching name icebox_html in section 1:

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