Re: [doc] extend.texi -- clarify no_sanitize

[Gerald Pfeifer]

On Mon, 10 Jun 2019, Martin Liška wrote:
> I'm fine with the Gerald. Thank you for it.

I went ahead and committed this, thanks.  

Sandra, if you have any comments still happy to update.

Gerald