[ros-diffs] [martinf] 55: import back lean-explorer code into the branch (including some cleanup)