I've searched here and googled a bit, and the most seemingly-applicable posts about enabling Ctrl + Alt + Backspace, or Alt + Sysrq + k via the GUI don't seem to correspond to the current state of the GUI on 18.04. They seem to have last been applicable on 17.x.

Where are these tick boxes in these nice soft plushy GUI windows?