Hello everyone, today marks an important release for Orchest. As we're introducing a super simple update mechanism that you can run directly from your browser. Find it and many other improvements on our GitHub https://github.com/orchest/orchest As always, if you run into any issues just ping us here.