Man pages matching name firewalld.ipset in section 5:

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