Highlights of What's New in Version 15.2

Here is a summary of what's changed since release 15.1.1. For details and references, see the specific entries in the manual.