Man pages matching name hal in section 7: