Adding note for post-mortem debugging example