@b0rk I feel like it might be worth trying to squeeze "Ctrl-Z and then kill %%" into the "ways to quit" box as another thing that sometimes works when Ctrl-C doesn't

nowadays this feature is almost always turned off by default, but Ctrl-\ *might* drop a large and mostly useless file named "core" in the directory you're in, as a side effect; this doesn't need to be on the page you're showing but if there's a "weird side effects of quitting" page then it should go there