[ros-diffs] [mf] 20490: lean explorer: correctly handle path of command line argument in explore mode