On Tue, 13 Jan 2004, Mark Prior wrote: > OK so who could make a lunch if it was this Friday instead of next > Monday? I wonder if we could manage to drag Linus along...