Man pages matching name eric7_shell in section 1:

eric7_shell.1.en

debian 12 / eric