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