Hey, quick update on std::core_dump(): We're moving to a quarterly publishing schedule for the foreseeable future. The team is deep in a number of other initiatives and we need to prioritize accordingly. We'll be reaching out in late June to gather suggestions and content for the July issue. Thanks!