Fix code highlighting in ReleaseNotes4.7.md