Re: [PATCH 5/7] CLI: add --leak-report top level option