Daniel Ortmann writes: > I am happy with whatever you decide.  :-) Then, here is a tentative patch introducing new :results ignore header argument. Any objections?