[ros-diffs] [mf] 20479: lean explorer: