Getting info about recent core dump (on Debian)

This is a note for Future John about how to report a recent coredump (with debugging symbols) on Debian:

DEBUGINFOD_URLS="https://debuginfod.debian.net" coredumpctl gdb

Then bt is a magical gdb command to run to give you the call stack of the thread which… failed?