Man pages matching name ifnames2.13 in section 1:

ifnames2.13.1.en	debian 10 / autoconf2.13
ifnames2.13.1.en	debian 11 / autoconf2.13
ifnames2.13.1.en	debian 12 / autoconf2.13