9.3 release notes:  apply fixes suggested by Alvaro