Thanks for the link. I think, though, auto-restart is a nice little feature that's important enough that it should be baked-in by default. I just take it for gr

Thanks for the link. I think, though, auto-restart is a nice little feature that's important enough that it should be baked-in by default. I just take it for granted that's it already there in other frameworks.