Man pages matching name eric7_re in section 1:

eric7_re.1.en

debian 12 / eric