In this talk I'll highlight some of the more interesting release note items. They are not necessarily the most important; soundness bug fixes probably earn that distinction. We have tried to select those that users might be most grateful to know about.
I'll go through copies of the relevant release note documentation topics, focusing on specific passages that I've modified to be in color (red) when viewed in Emacs. You can download a tarball of those modified topics here.