Release notes

Fixes and improvements we’ve shipped, grouped by milestone. Pull requests are omitted; only issues appear below. This list refreshes every few minutes.