Man pages matching name firewalld.icmptype in section 5:

firewalld.icmptype.5.en	debian 10 / firewalld
firewalld.icmptype.5.en	debian 11 / firewalld
firewalld.icmptype.5.en	debian 12 / firewalld