Man pages matching name proc_ide in section 5:

proc_ide.5.en	debian 13 / manpages
proc_ide.5.de	debian 13 / manpages-de
proc_ide.5.es	debian 13 / manpages-es
proc_ide.5.fr	debian 13 / manpages-fr
proc_ide.5.pl	debian 13 / manpages-pl
proc_ide.5.ro	debian 13 / manpages-ro