On 29 Mar 2017, at 15:22, John Sanda wrote:
> This needs to be well documented as this is not what you
> expect when you delete metrics in an urgency to free up space.
[..] It needs to be included in the user guide as well.
This is what I meant. Sorry for not being more clear.