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