5.3.1: updated release notes