Hi, and now (hopefully) the good news: from some quick tests, the shortcut-after-reloading-scripts crash seems to be fixed in r719. Test builds are available. I'm not sure if this fixes all bugs that contribute to said issue, so please test. HTH Stefan