The ever-hanging AppleScript Editor

The (My) AppleScript Editor tool, version El Capitan, has the bad habit to hang itself from time to time. Regular saving and killing the blocked process, followed by a simple restart of the tool was generally a good way to mitigate the problem. Once, however it was not possible to cleanly restart the AppleScript Editor even after a reboot…