Release highlights

edit

See What’s new in 7.13.