In RELEASE_NOTES, update highlights

Copy (i.e. duplicate) information about floating reservations
in the highlights section