Re: [PATCH v1] Fix documentation of panic_on_warn