Comment by xlii

Today, for the first time ever, I had to kill a terminal with all the tabs because it became unresponsive.

Welp, that explains it. I haven't changed terminal in a while anyway...