Add Geppetto 4.2 release notes.