You're pretty much able to keep REPLs open for days if you wish, so if you amortize that 3 second startup over a week, it's not all that serious. That said, fa

You're pretty much able to keep REPLs open for days if you wish, so if you amortize that 3 second startup over a week, it's not all that serious. That said, fair point, faster startup is always better.