I rebooted a few times and tried to crash it again. Crashed as expected. Grabbing the logs took a while but eventually it finished:
$ date;grab-logs -A -C;date
Mon Jun 17 18:45:40 PDT 2019
Logs copied to /boot/uploadlog.txt on the SD card FAT partition
Mon Jun 17 18:52:17 PDT 2019
Can’t upload though because they’re too large:
$ paste-log /boot/uploadlog.txt
Unable to upload log. Log file is too large. (113MB)
Anything I should do to clear old logs now that I’ve grabbed the file?