Further documentation for the leakcheck tool