Man pages matching name eric7_ide in section 1:

eric7_ide.1.en

debian 12 / eric