Great release and awesome release notes, as always. Many thanks to the team for such a great editor! I'm especially thrilled by the integrated terminal improve

Great release and awesome release notes, as always. Many thanks to the team for such a great editor! I'm especially thrilled by the integrated terminal improvements.