[dist] update OBS 2.4.2 release notes