Man pages matching name is_red in section 1234: