Man pages matching name ethyl.pl in section 1: