9.3 release notes:  adjustments per Alvaro and Robert