Sync release notes with changes since 5.1.3