[ros-diffs] [mf] 20391: correct command line handling in lean explorer