[ros-diffs] [martinf] 52: Copy Explorer from trunk into lean-explorer branch