FYI, we released updates for Leap 42.2 and 42.3 to fix this problem a few weeks ago. Maybe it would be a good idea to remove this part from the release notes then?