[KolmogorovComp]

The real culprit is having the awkward alt+F4 used for closing an application instead of cmd+W or cmd+Q on macOS for example.