[ros-diffs] [mf] 20482: lean explorer: remove WINFS