On Thu, Jan 12, 2017 at 12:36 PM, Iavor Diatchki <iavor.diatchki@gmail.com> wrote:

When enabled, the plugin will save the Core generated by GHC in JSON format, and also render it in HTML for human inspection.

Thank you, this is awesome! Much more friendly than standard core dumps.