Did you know? how to submit a patchSearch Documentation:
Kings day in the NetherlandsTitle for pldoc(object(section(2,'A.1',swi('/doc/Manual/aggregate.html'))))